en peano arithmetic

An English term in ConceptNet 5.8

Source: English Wiktionary
View this term in the API
  • Documentation
  • FAQ
  • Chat
  • Blog
  • Documentation
  • FAQ
  • Chat
  • Blog

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) ➜

Context of this term

  • en logic ➜

Links to other resources

  • en.wiktionary.org Peano arithmetic
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.