帕里斯结果

帕里斯结果（result of Paris）是关于自然数的一个命题。它是真的，但在佩亚诺算术中不能证明.它也是此方面的第一个例子.首先由帕里斯(Paris ，J.)和柯比(Kirby， L.)证明，后来哈林顿(Harring-ton，L.)发现这是有限拉姆齐定理的一个简单扩充.该定理是证明论中近年来最重要的成果，引起人们的注意.