information about Peano axioms field