サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 記事・論文

Godelの第一不完全性定理の証明における無矛盾性という前提について

中村 直行

詳細情報

タイトル Godelの第一不完全性定理の証明における無矛盾性という前提について
著者 中村 直行
出版地(国名コード) JP
別タイトル Reconsidering of the premise of consistency in the proof of Godel's first incompleteness theorem
出版年(W3CDTF) 2011-03
件名(キーワード) 数学基礎論
件名(キーワード) 証明論
件名(キーワード) 背理法
件名(キーワード) 第一不完全性定理
件名(キーワード) 第二不完全性定理
件名(キーワード) ゲーデル数化
NDLC ZD11
NDLC ZM1
対象利用者 一般
資料の種別 記事・論文
掲載誌情報(URI形式) http://iss.ndl.go.jp/books/R100000002-I000008428367-00
掲載誌情報(ISSN形式) 18818021
掲載誌情報(ISSN-L形式) 18818021
掲載誌名 金沢学院大学紀要. 経営・経済・情報・自然科学編
掲載号 9
掲載ページ 101~106
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで