Does God know Peano Algebra?