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.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 12. 11. 2000
Autor: -red-

Reklama: