Paris-Harrington theorem
专有名词
英文释义
专有名词
- A theorem stating that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic.
词源
Named after Jeff Paris and Leo Harrington, who carried out work on this topic.
0 次浏览
数据来源: Wiktionary