monomorfismus

monomorfismus [-iz-], log . synonymum kategoričnosti; vlastnost axiomatického systému, jehož všechny modely jsou izomorfní. V.t. polymorfismus. M. předpokládá, že daný axiomatický systém je bezesporný a úplný a že jeho množina axiómů je nezávislá.