Peanoaksiomene kan utvides med operasjonene addisjon og multiplikasjon og den vanlige lineære ordningen på de naturlige tallene . De respektive funksjonene og relasjonene konstrueres i annenordens-logikk, og kan vises å være entydig bestemte ved å bruke peanoaksiomene.