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

 Externé odkazy 


Kategória:Geometria