在公理化集合論與使用它的邏輯、數學和計算機科學分支中,外延性公理或外延公理。在 Zermelo-Fraenkel 公理的形式語言中,它讀作:給定任何集合A和任何集合B,A=B,當...
羅素公理體系--即有符合條件的書的確構成了一個集合,因為它們可以與其它的書進一步構成更大的整體(集合的定義)--比如它們和不符合條件的書共同構成了圖書館裡所有...
基本公理(basic axiom) GB系統的集合論公理.指GB系統中的第1組(即A組)公理。...... .有相同元素的兩個類是相等的,即外延公理. .任給二集x和y,則有一集...
和集公理,即並集公理,實際上說的是,給定集合A,我們可以找到一個集合B,它的元素完全是A的元素的元素。根據外延公理這個集合B是唯一的,它叫做A(中元素)的並集,...
初等集公理是集合論的一條公理,策梅洛(E.F.F.Zermelo)於1908年提出集合論公理體系時,其中有一公理稱為初等集公理,該公理斷言:存在空集,它不含任何元素;如果a...
集合論公理系統(axiom systems for set theory)公理集合論的基礎部分。如同平面幾何中的點、線、面一樣,集合是一個不加定義的原始概念。為了克服羅素悖論,人們試圖...
策梅洛-弗蘭克爾集合論(Zermelo-Fraenkel Set Theory),含選擇公理時常簡寫為 ZFC,是在數學基礎中最常用形式的公理化集合論。不含選擇公理的則簡寫為ZF。...
3.4 一階謂詞邏輯公理系統3.5 一階謂詞邏輯自然推理系統3.6 一階謂詞邏輯系統元理論第四章 公理集合論基礎4.1 ZFC簡介4.2 外延公理、空集公理和子集公理...
數學集合在數學上是一個基礎概念。基礎概念是不能用其他概念加以定義的概念,也是不能被其他概念定義的概念。集合的概念,可通過直觀、公理的方法來下“定義”。集合...