>>136
>公理系のすべてのモデルで成り立つ命題は「公理系から結果として証明されるか」という問題である。ゲーデルは、相応に豊富な任意の公理系が、完全ではあり得ないことをしめしている。
完全性定理、不完全性定理を盛大に誤解してて草