Peano, esto sin duda ya se ha salvado con varias pruebas de consistencia, pero hay debate sobre si son o no son suficientemente finitistas para que tengan sentido.