Nezávislosť axiomatického systému

Pridať odkazy
z Wikipédie, slobodnej encyklopédie

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.
Tento článok týkajúci sa matematiky je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.
Zdroj: „https://sk.wikipedia.org/w/index.php?title=Nezávislosť_axiomatického_systému&oldid=6413662“