Teoreme de Godel
Fro Wikipedia
Teoreme de Godel es teoreme kel montra li vaneso de proba establi kompletim axiomal formalisatione de matematike.
Kurt Godel pruvad in 1931 ke matematikal sisteme mus es nonkompleti. Tum es, in irgi sisteme formules mus bli konstrukte kel on pove nek pruva ni despruva in ti sisteme.
Plusim, nuli matematikal sisteme pove bli pruva konsequenti sin axiomes preter ti sisteme.
Li teoreme de Godel ha profundim efekta atitudes vers li fundamentes de matematike.

