Open WIKI
Home
Sources
About
Contacts
⯈
☰
Peano arithmetic
Peano arithmetic
is a
theory
.