130 Def formali degli insiemi numerici numeri naturali via assiomi di Peano, interi via quoziente

130 Definizioni formali degli insiemi numerici: numeri naturali via assiomi di Peano, interi via quoziente su coppie di naturali, razionali via quoziente su coppie di interi, reali via sezioni di Dedekind (o semirette sinistre) di razionali.