パリス＝ハーリントンの定理

数理論理学においてパリス・ハーリントンの定理（ぱりすはーりんとんのていり、英: Paris–Harrington theorem）は、自然数に関するある命題（ラムゼー理論における強化版有限ラムゼーの定理）が、正しいにもかかわらずペアノ算術では証明できないとする定理。ペアノ算術は代表的な自然数論の公理系であり自然数論の正しい命題の多くを証明できる。