人気ブログランキング |

P259確認問題 3

(c)
以上ふたつの結果から、
Aが表現可能→A*が表現可能→Aのゲーデル文が存在する。

数を要素とする、任意の表現可能な集合には、ゲーデル文が存在する。

QED
by tomoarrow | 2016-06-06 07:00 | モチーフについて | Comments(0)