あらゆる文章において、その真偽は証明できない。
それが真ならそれを証明しなければならない。
それが真でないならそれを証明しなければならない。
無矛盾の文章にも、この言説が成り立つ。
*。
文章自体は、その真偽を決定できない。
ここでは論理文でなく、あらゆる文章にこれが成り立つ。
これを回避するには、真であること証明しなくてはならない。
それが出来ない場合は、真偽証明不能である。
*。
このような文型を、ゲーデル論法と名づける。
これからは、この証明はゲーデル論法によるとすれば、手続くの詳細は省略できる。
例)
言葉は嘘である。
証明はゲーデル論法による。
これからこのように書く。
それが真ならそれを証明しなければならない。
それが真でないならそれを証明しなければならない。
無矛盾の文章にも、この言説が成り立つ。
*。
文章自体は、その真偽を決定できない。
ここでは論理文でなく、あらゆる文章にこれが成り立つ。
これを回避するには、真であること証明しなくてはならない。
それが出来ない場合は、真偽証明不能である。
*。
このような文型を、ゲーデル論法と名づける。
これからは、この証明はゲーデル論法によるとすれば、手続くの詳細は省略できる。
例)
言葉は嘘である。
証明はゲーデル論法による。
これからこのように書く。