ゲーデルの理論のバックアップ(No.1)

ゲーデルの理論 †

あらゆる事柄は、論理的演繹法によって論ずることが出来る、とするもの。

前提、もしくは仮定（自明なこと、証明しなくても真として受け入れられること）と、そこから導かれる推論（そう推論する規則）という流れによる説明方法。

典型的なのは、ソクラテスの三段論法。

1.人間は必ず死ぬ
2.ソクラテスは人間である
3.ソクラテスは必ず死ぬ

1が成立する。かつ、2が成立する。

ならば

3が成立する。

1と2は前提。そして自明。であるなら、そこから3が推論されるのは妥当であろう、という導出。「もしすべてのXがYであり、かつ、ZがXであるならば、XはYである」という規則が発動している。