Explicitná definícia

Explicitná definícia

Napriek názornému pôvodu sa na pojmy zavedené v axiómach, na ich vzťahy a vlastnosti - tzv. základné alebo primitívne pojmy - pozeráme  iba ako na dané v axiómach. Hovorí sa, že nie sú definované explicitne, ale implicitne. Všetky ďalšie pojmy sa definujú explicitne pomocou axióm a základných pojmov. Dedukcia pojmov je prípustná len pomocou pravidiel logiky.

Externé odkazy