Gödelの第一不完全性定理におけるω無矛盾性の要請
Gödelの第1不完全性定理#63beb4ef13a158000097e180
ここに
ω無矛盾性
が無いことによって生じる問題点が書かれている,が…
何がどう問題になっているのかわからない.