昔どこかでParis Harringtonの定理という言葉を見かけたことがあります。 fnite Ramsey theoremの拡張で、「自然で数学的に興味のあるstatement」（？）、 なのだがtrue but not provable in PAだというのです。私は詳しくないので わからないのですが、それでも今の解析学がきちんと形式論理のレールに乗るか どうかほとんど明らかなのでしょうか？ これは反語で述べているのではなく純粋に疑問なのです。どなたかくわしくて説明 してくださる人いましたら、お教えいただけないでしょうか？
