Nezávislosť axiomatického systému
Vzhled
Nezávislosť axiomatického systému je nevyvoditeľnosť axióm ktorejkoľvek deduktívnej teórie podľa pravidiel jej odvodzovania z ostatných axióm. Skúmanie nezávislosti axiomatického systému má veľký význam. Napríklad zistenie nezávislosti piateho Euklidovho postulátu v axiomatickom systéme geometrie viedlo k vytvoreniu neeuklidovských geometrií.
Externé odkazy[upraviť | upraviť zdroj]
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.