新基礎集合論
(New Foundations から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/05/30 14:38 UTC 版)
|
この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年5月）
翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
数理論理学において新基礎集合論 (しんきそしゅうごうろん、英: New Foundations) またはNF集合論とは、プリンキピア・マテマティカの型理論を単純化したものとしてウィラード・ヴァン・オーマン・クワイン[1]によって考案された、公理的集合論の一種である。この名称は、クワインが1937年における記事『数理論理学の新基礎』において初めて提唱したことに由来する。現在広く受け入れられているのはクワインが提唱したもともとの体系NFを少し修正したNFUと呼ばれる体系[2]である。
脚注
- ^ Quine, Willard V (1937). “New Foundations for Mathematical Logic”. American Mathematical Monthly.
- ^ Jensen, Ronald (1969). “On the Consistency of a Slight(?) Modification of Quine's NF”. Synthese 19: 250-263.. With discussion by Quine
参考文献
- Holmes, Randall (1998). Elementary Set Theory with a Universal Set. Academia-Bruylant. 出版社の許諾に基づき配布されているPDF版（著作権は留保）
 |
この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。 |
「New Foundations」の例文・使い方・用例・文例
- クレオパトラの針 《古代エジプトのオベリスクで, 現在 London と New York にある》.
- マジソンスクエア 《New York 市にある》.
- 日本は Newton の向こうを張る数学者を出した
- 彼の Newton の生まれ変わりだ
- Newton はリンゴの落ちるのを見て考え出した
- （Newton の）光線発射説
- 関孝和は Newton と時代を同じうする
- New Zealand は多少日本に似ている
- 『New York』を略して、『NY』と書いてください
- 初めてラオスに着いたとき，１月の終わりに｢Happy New Year(あけましておめでとう)｣の垂れ幕がお店を飾っているのを見て，私は疑問に思いました。
- 教育の最新の潮流や実践例を紹介する展示会｢New Education Expo 2010｣(教育博2010)が９月22日から24日まで東京で開催された。
Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
- New Foundationsのページへのリンク
