Preskočiť na obsah

Implicitná definícia

z Wikipédie, slobodnej encyklopédie

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ť zdroj]
  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.