>>75
証明の妥当性は形式論理が破綻しないという前提あってのことでしょう
違いますか?w