Andere erststufige Formalisierungen der natürlichen Zahlen, die mit der Peano-Arithmetik verwandt sind, sind beispielsweise die Robinson-Arithmetik und die Primitiv rekursive Arithmetik, die auch Teile der Peano-Axiome benutzen. == Unvollständigkeit == Nach den Gödelschen Unvollständigkeitssätzen ist die Peano-Arithmetik unvollständig, das h...