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

3行要約

1. 有限ラムゼーの定理を強化した命題が、ペアノ算術では証明不能であることを示す定理。
2. 数学的に自然な命題が標準的な公理系で決定不能であることを示した初の例。
3. 数理論理学において、ゲーデルの不完全性定理の具体例として重要。