Nezávislosť axiomatického systému

Z Wikipédie

Nezávislosť axiomatického systému

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. Napriklad zistenie nezávislosti piateho Euklidovho postulátu v axiomatickom systéme geometrie viedlo k vytvoreniu neeuklidovských geometrií .

[úprava] Externé odkazy

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

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.


[úprava] Nezávislosť - druhy/príklady

nezávislosť

izotropia

nezávislosť axiomatického systému


[úprava] Pozri aj

nezávislosť

druhy/príklady nezávislosti

závislosť