563コメント211KB

ゲーデル不完全性定理

■ このスレッドは過去ログ倉庫に格納されています

0137１３２人目の素数さん

2005/05/26(木) 00:53:57

>>135
Pr(g(A))→Pr(g(A)) と　Pr(g(A))→Pr(g(B))
から
Pr(g(A))→Pr(g(A ∧ B))
というのも示せますか？

■ このスレッドは過去ログ倉庫に格納されています