Teorema di Goodstein: differenze tra le versioni

In [[matematica]], il '''Teorema di Goodstein''' è un teorema sui [[numeri naturali]], relativamente semplice da enunciare, la cui particolarità consiste nel fatto di essere [[enunciato indecidibile|indecidibile]] dall' [[Aritmetica di Peano]] ma dimostrabile mediante il sistema assiomatico dellanella [[teoria assiomatica degli insiemi|teoria degli insiemi]]. Esso può essere considerato un esempio di enunciato indecidibile dagli usuali assiomi dell'aritmetica più "naturale" rispetto alle complicate costruzioni dei [[teoremi di incompletezza di Gödel]].