Godel-teorio

Teorio di Godel es teorio quo montras la vaneso di probar establisar kompleta axiomala formaligo di matematiko.

Kurt Godel pruvis (1931) ke omna *konsequema matematikala sistemo mustas esar nekompleta. To es, en irga sistemo on povas konstruktar formuli nek pruvebla, nek despruvebla en la sistemo.

Pluse, nula matematikala sistemo es pruvebla kom konsequema, sen uzar axiomi exter la sistemo.

La teorio di Godel profunde efikis atitudi vers la fundamento di matematiko.

(Videz anke logiko.)