数学基礎論・数理論理学のスレッド その6
■ このスレッドは過去ログ倉庫に格納されています
0201１３２人目の素数さん
2010/03/28(日) 17:38:15書ける気がしてきたｗ。
a,bを自由変数として¬Prov_T(a,subst(b,b)) のゲーデル数をgとする。
関数subst(x,y)は、ゲーデル数xで表わされる式中の自由変数bを、
数yで置き換えた式のゲーデル数を返す。もちろん、原始帰納的。
ゲーデル命題Gを¬Prov_T(a,subst(g,g))とすれば、いいんじゃね？
どうよ？
■ このスレッドは過去ログ倉庫に格納されています