外延公理外延公理
外延公理，集合論的公理。
外延公理的含義是：兩個類相等的充要條件是它們的元素完全相同，這就是說，類完全由其元素確定。類的所有元素可以通俗地稱為它的外延。因此，類完全由其外延確定。
外延公理相關詞條
-
公理
公理，英文名：axiom，是指依據人類理性的不證自明的基本事實，經過人類長期反覆實踐的考驗，不需要再加證明的基本命題。
詞語釋義 套用實例 公理系統 公理集合論 公理化方法 -
集合論公理系統
集合論公理系統axiom systems for set theory 公理集合論的基礎部分。如同平面幾何中的點、線、面一樣，集合是一個不加定義的原始概念。
集合論公理系統 正文 配圖 相關連線 -
公理系統
簡介 數學上，一個 公理系統（或稱 公理化系統， 公理體系， 公理化體系）是一個 公理的 集合，從中一些或全部公理可以用來一起邏輯的導出 定理。一個數學理論由一個公理系統和所有它導出的定理組成。一個完整描述出來...
-
公理集合論
公理集合論是數理邏輯的主要分支之一，是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的公理的研究。
公理集合論 正文 配圖 相關連線 -
配對公理
配對公理，是在公理化集合論和使用它的邏輯、數學和計算機科學分支的Zermelo-Fraenkel集合論的公理之一。
簡介 形式陳述 解釋 一般化 其他等價公理 -
ZFC公理系統
ZFC公理系統，由ZF公理系統加上選擇公理構成。
-
ZF公理系統
(ZF2)空集合存在公理：即存在一集合s，它沒有元素。 (ZF5)冪集公理：也就是說，任意的集合x，P（x）也是一集合。 (ZF6)無窮公理：也就是說，...
-
冪集公理
給定任何集合 冪集公理允許定義兩個集合 。
推論 -
三段論公理
凡對全類有所肯定，則對全類的分子也有所肯定； 凡對全類有所否定，則對全類的分子也有所否定。 圖2表示：s類包含於m類，m類與p類全異，所以，s類與p類全異。
