もし、自然数であることが証明可能な標準的自然数のどれについてもＰでないといえるなら
任意の自然数についてもＰでない、といってよいのではないか、という実にナイーブな発言があった

もちろん、そうしたければすればいいが、問題は
「自然数であることが証明可能な標準的自然数のどれについてもＰでないといえる」
ということをどうやって確かめるのか、ということ

これを俗に「自分が神になる」という
こうなったら数学者として終わったといっていい　マジで