>>658
∀nP(n)の証明が無くて
すべてのP(n)の証明があるけど
n→∞でドンドンその証明が長くなっていく場合に
「すべての自然数nでP(n)がなりたつ」
ということを真とするか偽とするか
さすがに偽ではないけれどまだ証明されてないとするか
普通の数学者なら真とするんじゃ無いかなあ