bn:03841895n
Noun Named Entity
Categories: 数理論理学, 数学に関する記事, 集合論
JA
新基礎集合論
JA
数理論理学において新基礎集合論 またはNF集合論とは、プリンキピア・マテマティカの型理論を単純化したものとしてウィラード・ヴァン・オーマン・クワインによって考案された、公理的集合論の一種である。 Wikipedia
Definitions
Relations
Sources
JA
数理論理学において新基礎集合論 またはNF集合論とは、プリンキピア・マテマティカの型理論を単純化したものとしてウィラード・ヴァン・オーマン・クワインによって考案された、公理的集合論の一種である。 Wikipedia
Wikipedia
Wikidata