Теорема Канамори – Макалуна - Kanamori–McAloon theorem

В математическая логика, то Теорема Канамори – Макалуна, из-за Канамори и МакАлун (1987), дает пример неполноты в Арифметика Пеано, похожий на Теорема Пэрис – Харрингтона Они показали, что некоторый конечный частный случай теоремы^{[который? ]} в Теория Рамсея из-за Erds и Rado не доказуемо в арифметике Пеано.

Смотрите также

• Теорема Пэрис – Харрингтона
• Теорема Гудштейна
• Теорема Крускала о дереве

Рекомендации

• Канамори, Акихиро; Макалун, Кеннет (1987), "О неполноте Гёделя и конечной комбинаторике", Анналы чистой и прикладной логики, 33 (1): 23–41, Дои:10.1016/0168-0072(87)90074-1, ISSN  0168-0072, МИСТЕР  0870685

Этот математическая логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.