帕里斯结果

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