>>703
>個々のP(n)の証明が有限なら
>「すべての自然数nでP(n)がなりたつ」
>は真にしても良いんじゃ無いかなぁ

「すべての自然数」をどうやって確かめるんだい? 素人君