Add peano axioms in test files.