Related terms
- en arithmetical set (n) ➜
- en clarithmetic (n) ➜
- en löb's theorem (n) ➜
- en pa (n) ➜
- en paris harrington theorem (n) ➜
- en axiom ➜
- en first order logic ➜
- en natural number ➜
- en presburger arithmetic ➜
- en successor ➜
- en presburger arithmetic (n) ➜
- en resplendency (n) ➜
- en resplendent (a) ➜
Links to other resources
- en.wiktionary.org Peano arithmetic