kategoričnost axiomatického systému
Logika. Podmínka izomorfu všech interpretací systému axiómů. V případech existence neizomorfních interpretací se systém nazývá nekategorickým nebo obsahově neúplným.
Vytvořeno:
14. 3. 2000
Aktualizováno:
12. 11. 2000
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!