ヒルベルトの提唱した形式主義を概観したのち命題論理・述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べ、ゲーデルの証明に潜む暗黙の仮定に迫る。『理系への数学』連載を書籍化。
【eBookご利用の注意点】
この商品をご利用するには、ソフトウェア「CypherGuared PDF」が必要です。eBookご利用案内からダウンロードしてインストールを行い、サンプルファイルで稼動確認された上でご利用ください。●
動作環境はこちらでご確認ください。 ●同一ライセンスIDでの利用端末数3台まで ●TEXT/画像コピー不可 ●印刷不可 ●その他ご利用条件については、
ご利用規約をご確認ください。
※この商品のご購入は、個人の方が対象となります。図書館・図書室ではご購入いただけません。 
