|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 新 ： [しん] 1. (n,n-suf,pref) new ・ 基 ： [き, もとい] 【名詞】 1. basis ・ 基礎 ： [きそ] 1. (n,adj-no) foundation 2. basis ・ 礎 ： [いしずえ] 【名詞】 1. foundation stone 2. cornerstone ・ 集 ： [しゅう] 【名詞】 1. collection ・ 集合 ： [しゅうごう] 1. (n,vs) (1) gathering 2. assembly 3. meeting 4. (2) (gen) (math) set ・ 集合論 ： [しゅうごうろん] (n) set theory (in math) ・ 合 ： [ごう] 【名詞】 1. go (approx. 0.18l or 0.33m) ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment
数理論理学において新基礎集合論 (しんきそしゅうごうろん、) またはNF集合論とは、プリンキピア・マテマティカの型理論を単純化したものとしてウィラード・ヴァン・オーマン・クワインによって考案された、公理的集合論の一種である。この名称は、クワインが1937年における記事『数理論理学の新基礎』において初めて提唱したことに由来する。現在広く受け入れられているのはクワインが提唱したもともとの体系NFを少し修正したNFUと呼ばれる体系〔. With discussion by Quine〕である。 ==脚注== 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「新基礎集合論」の詳細全文を読む スポンサード リンク
|