>>38
だから論理による証明の論理による証明が必要なのが有限の場合
その有限の証明を論理によってすれば真に正しい と言えるのです