extended Goedel's incompleteness theoremVer7.11.23

The first theorem.
The problem that cannot be decided is proof of no existence of the problem.

The second theorem.
The problem that cannot be proven is proof whose it is a vanishing point.

*｡
The first theorem.
Proof.
The even number is taken.
The problem that can be decided is existence proof of the problem.
Proof end.

The second theorem.
Proof.
The even number is taken.
The problem that can be proven is proof where it exists.
Proof end.


第一定理。
決定不能問題は、問題の不存在の証明である。

第二定理。
証明不能問題は、それが消点である証明である。

*。
第一定理。
証明。
対偶を取る。
決定可能問題は、問題の存在証明である。
証明終わり。

第二定理。
証明。
対偶を取る。
証明可能問題は、それが実在する証明である。
証明終わり。