相關詞條
- 替換公理模式
替換公理模式是集合論的ZF公理系統中的一個公理模式。...... 替換公理模式有時被其形式上更弱,在其他公理(包括分離公理模式)下等價的收集公理模式替代。替換公理模...
- 置換公理模式
置換公理模式(axiom scheme of replacement )指的是ZFC公理系統中的一條公理模式。它的涵義是:“對於任何元函式f,如果它的定義域a是一個集,則它的值域也是一個...
- 集合存在性公理
集合存在性公理(existence axiom of set)是GB系統的集合論公理,指GB系統中的第3組(即C組)公理,共有4條,包括無窮公理,並集公理,冪集公理,和替換公理。...
- 集合論公理系統
這個系統中只有一個非邏輯二元關係符號“∈”,非邏輯公理有:外延公理、空集公理、無序對公理、並集公理、冪集公理、無窮公理、分離公理模式、替換公理模式、正則...
- 子集公J式
公理集合論(見集合論)的一個公理模式,也稱為分離公理模式。超窮遞歸定理的證明離不開替換公理,而且在定義序數運算和討論集合論的模型時也都離不開替換公理。...
- 良序定理
這種選擇是滿足替換公理模式的條件的,故套用替換公理模式,即證明了選擇公理。由此可見,在ZF中良序定理和選擇公理是等價的,故在有些ZFC公理系統的表示中,良序定理...
- 反射原理
它的非邏輯公理有:外延公理、空集公理、無序對公理、並集公理、冪集公理、替換公理模式、正則公理。如果另加選擇公理(AC),則所得到的公理系統簡記為ZFC。...
- 奇異基數
它的非邏輯公理有:外延公理、空集公理、無序對公理、並集公理、冪集公理、替換公理模式、正則公理。如果另加選擇公理(AC),則所得到的公理系統簡記為ZFC。...
- GB系統
2.並集公理3.冪集公理4.替換公理D組公理:對於任意的不空類X,都有y∈X,使y∩X=∅。E組公理(選擇公理).這個公理系統的最大特點是沒有公理模式,因此,它是...