kategoričnost axiomatického systému
kategoričnost axiomatického systému, log. podmínka izomorfismu 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.
kategoričnost axiomatického systému, log. podmínka izomorfismu 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.
