私書箱と不完全性定理
不完全性定理…難しかったなぁ。
猛勉強しましたね。
アリストテレスの論理学以来はじめて、論理学の世界に革命を起こしたのは20世紀初頭のバートランド・ラッセルである。彼は数学は論理学の一分科に過ぎないとする論理主義を提唱し、横浜デリヘルその著書『数学原理』 (Principia Mathematica)（アルフレッド・ノース・ホワイトヘッドと共著）において、述語論理の基礎法則を用いて、無から数学の全体系を再構築しようと試みた。この試みによって、大阪デリヘル形式論理学が数学において強力な道具になるということを示した。
ラッセルらの仕事を引き継いだのがダフィット・ヒルベルトである。ヒルベルトは完全性と無矛盾性を併せもつような数学全体を導くためには、適切な公理系を見出すことが重要であることを明らかにし、それを見出そうと試みたが（ヒルベルト・プログラム）、千葉デリヘル情報実現することはできなかった。
1930年、クルト・ゲーデルによって不完全性定理が発見された。 これは「自然数論を含みかつ無矛盾である計算可能な公理系には、内容的には真であるが、証明できない命題が存在する」というものである（ゲーデル自身は弱い形で示したが一般化された）。 すなわち、二階述語論理より強い表現力をもつ公理系（これには算術体系が含まれる）においては、大塚のデリヘル立証も反証もできない灰色の領域が必ず存在することが示されたのである。これによって、論理によって万物を解き明かそうという、ラッセルやヒルベルトの野望は完全に潰えた。
引用『ウィキペディア（Wikipedia）』