La teoría resultante contiene muchos de los enunciados verdaderos sobre los números naturales y algunos falsos, empezando por .