en paris harrington theorem (n)

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 combinatorial ➜
  • en peano arithmetic ➜
  • en principle ➜
  • en provable ➜
  • en ramsey theory ➜
  • en true ➜

Context of this term

  • en mathematical logic ➜
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.