Teoreme de Gödel

Teoreme de Gödel es teoreme kel montra li vaneso de proba establi kompletim axiomal formalisatione de matematike.

Kurt Gödel 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 Gödel ha profundim efekta atitudes vers li fundamentes de matematike.