>>700
そうかなあ
無限論理とかいうのもあるみたいだけど
個々のP(n)の証明が有限なら
「すべての自然数nでP(n)がなりたつ」
は真にしても良いんじゃ無いかなぁ