新基礎集合論とは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ 新基礎集合論

新基礎集合論

数理論理学において新基礎集合論 (しんきそしゅうごうろん、英: New Foundations) またはNF集合論とは、プリンキピア・マテマティカの型理論を単純化したものとしてウィラード・ヴァン・オーマン・クワインによって考案された、公理的集合論の一種である。この名称は、クワインが1937年におけ

Từ điển Nhật - Nhật

Các từ liên quan tới 新基礎集合論

集合論

あたえている。集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。集合論における基本的な操作には、あたえられた

基礎

きそ

(1)物事が成立する際に基本となるもの。

数学基礎論

基礎論から数理論理学へと進化していった。（以上、岩波数学辞典第４版の記載に基づく。ただし、直観主義の説明中の例は、照井一成「コンピュータは数学者になれるのか？」(青土社）の例から拝借した。）日本では、数学基礎論は、歴史的経緯により、本来の数学の基礎付け

圏論の基礎

て多様な他分野と場所に広がったことを踏まえて、その他すべての人達のための一冊である。」(Awodey 2010, p. iv) 「圏論の本の中で高くそびえる存在は、圏論の創設者による古典的一冊であるソーンダース・マックレーンの『圏論の基礎』である。」(Leinster 2014, p. 174) Arbib

整礎的集合

整礎的集合（せいそてきしゅうごう、well-founded set）とは、空集合に和集合演算やべき集合演算などの集合演算を繰り返し施すことにより得られる集合である。すべての順序数 α に対して、集合 Vα を次のように再帰的に定義する： V 0 = ∅ {\displaystyle V_{0}=\varnothing