Goedel's incompleteness theorem Ver7.4.25

The first theorem
Decidability is tautology of diversity.

Proof
The decision when there is no diversity is not a decision.
Proof end

The second theorem
It is possible to crystallize with the proof possibility.
A certain state exists.
As for crystallization, certain sentences are the same as the proof
of sentences.

Proof
Being possible to prove is tautology of being possible to crystallize.

If it is sentences not significant, proof is unnecessary.
Proof end

*
It is necessary to rebut it with these sentences amusing.



第一定理
決定可能性とは多様性のトートロジーである。

証明
多様性のない場合の決定は決定ではない。
証明終わり

第二定理
証明可能性とは結晶可能性である。
ある状態があって、
ある文章を結晶することは文章を証明することと同じである。

証明
証明可能とは結晶可能のトートロジーである。
もし意味のない文章なら、証明自体不要である。
証明終わり

*
これらの文章がおかしいというときは反証が必要である。