>>639
証明の正しさは最終的に数学的コミュニティに受け入れられたとき定期。