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[upraviť | upraviť zdroj]
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
|
Tento článok je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |