Goedel's reasoning

In all sentences, the truth cannot be proven.

If it is the truth, it is necessary to prove it.
If it is not the truth, it is necessary to prove it.

In sentences of no contradiction, this remark theory consists.

*｡
Sentences cannot decide the truth.

It is structure of this in not a logical sentence here but all sentences.
It should be proven to be the truth to evade this.

When it cannot be done, the truth cannot be proven.

*｡
Such a sentence pattern is named Godel logic.

Hereafter, if this proof is done by the Godel logic, details are omissible ..continue the hand...

Example)
The word is a lie.
Proof is done by the Godel logic.
It will write like this in the future.
あらゆる文章において、その真偽は証明できない。

それが真ならそれを証明しなければならない。
それが真でないならそれを証明しなければならない。

無矛盾の文章にも、この言説が成り立つ。

*。
文章自体は、その真偽を決定できない。

ここでは論理文でなく、あらゆる文章にこれが成り立つ。
これを回避するには、真であること証明しなくてはならない。

それが出来ない場合は、真偽証明不能である。

*。
このような文型を、ゲーデル論法と名づける。

これからは、この証明はゲーデル論法によるとすれば、手続くの詳細は省略できる。

例）
言葉は嘘である。
証明はゲーデル論法による。
これからこのように書く。