Solución al segundo problema de Hilbert.

 Podemos considerar los axiomas de la aritmética como el conjunto Pa.

Pa  es válido solo si  SPa5, si SPa5≥SPa5 entonces o NS o NM, si NS entonces SPa5≥SPa5, si NM entonces SPa5≥SPa5, por tanto SPa5≥SPa5