monomorfismus
[Monomorfizmus], logika, synonymum kategoričnosti, vlastnost axiomatického systému, jehož všechny modely jsou izomorfní. Monomorfismus předpokládá, že daný axiomatický systém je bezesporný a úplný a že jeho množina axiómů je nezávislá.
Vytvořeno:
14. 3. 2000
Aktualizováno:
28. 10. 2006
Autor: -red-