相關詞條
-
公理化集合論
公理化集合論是數學的一門分支。公理集合論 axiomatic set theory 用形式化公理化方法研究集合論的一個學科。數理邏輯的主要分支之一。
-
集合論
數學的一個基本的分支學科，研究對象是一般集合。集合論在數學中占有一個獨特的地位，它的基本概念已滲透到數學的所有領域。集合論或集論是研究集合（由一堆抽象物...
簡介 基礎概念 存在異議 歷史作用 早期研究 -
公理化方法
公理化思想就是任何真正的科學都始於原理，以它們為基礎，並由之而導出一切結果。隨著假設演繹模型法的進一步發展，經濟學日益走向公理化方法。 公理化是一種數學...
方法定義 歷史發展 作用意義 基本要求 方法運用 -
樸素集合論
在純數學中，樸素集合論是探討數學基礎時，用到的幾個集合論中的一個，樸素集合論主要是將用一般語言的形式處理集合問題，依賴於把集合作為叫做這個集合的“元素”...
簡介 集合、成員及相等 特點 悖論 -
公理集合論
公理集合論（axiomatic set theory）是數理邏輯的主要分支之一，是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的...
原理簡介 詳細內容 替換公理 自然數 極限序數 -
集合論公理系統
集合論公理系統(axiom systems for set theory)公理集合論的基礎部分。如同平面幾何中的點、線、面一樣，集合是一個不加定義的原始...
基本介紹 羅素悖論 符號和基本概念 集合公理 -
公理化數學
公理化數學是以邏輯為工具，用公理化的方法來試圖包容數學中的“所有”知識
-
近代公理集合論
近代公理集合論(modern axiomatic set theory) 公理集合論的一個分支.指20世紀初葉建立和發展起來的種種各有其自身公理體系的集合理論
綜述 發展 -
新基礎集合論
所以NF和相關理論通常採用蒯因的有序對的集合論定義，它生成類型的類型-齊平的有序對。 類似的，序數是良序集合在相似關係下的等價類。 在類型論中沒有意義：...
概述 類型論TST 蒯因集合論 NF(U) 如何避免集合論悖論 序類型的引理 -
集合論悖論
1902年，英國數學家羅素提出了這樣一個理論：以M表示是其自身成員的集合的集合，N表示不是其自身成員的集合的集合。然後問N是否為它自身的成員？如果N是它...
提出 例證 現狀
