Implicitná definícia

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

Implicitná definícia znie: Napriek názornému pôvodu sa na pojmy zavedené v axíó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[upraviť | upraviť kód]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.