2018-03-18から1日間の記事一覧
「不完全性定理」というときの「完全性」の意味に関して。 最後に、公理系は完全であるかと言う問題がある。すなわち、公理系のすべてのモデルでなりたつ命題は、公理系から結果として証明されるか、という問題である。再びゲーデルは、相応に豊富な任意の公…
「不完全性定理」というときの「完全性」の意味に関して。 最後に、公理系は完全であるかと言う問題がある。すなわち、公理系のすべてのモデルでなりたつ命題は、公理系から結果として証明されるか、という問題である。再びゲーデルは、相応に豊富な任意の公…