Peano arithmetic#Defining arithmetic operations and relations

  1. REDIRECT Peano axioms

{{Rcat shell|

{{R to related topic}}

}}