- 更多網(wǎng)絡(luò)解釋與外延性公理相關(guān)的網(wǎng)絡(luò)解釋 [注:此內(nèi)容來(lái)源于網(wǎng)絡(luò),僅供參考]
-
axiom of continuity:連續(xù)公理
axiom of constructivity 可構(gòu)成性公理 | axiom of continuity 連續(xù)公理 | axiom of extensionality 外延性公理
-
axiom of extensionality:外延性公理
axiom of continuity 連續(xù)公理 | axiom of extensionality 外延性公理 | axiom of infinity 無(wú)窮性公理
-
axiom of extensionality:外延性公設(shè);外延性公理
837,"axiom of denumerability","可數(shù)公設(shè);可數(shù)公理" | 838,"axiom of extensionality","外延性公設(shè);外延性公理" | 839,"axiom of incidence; incidence axiom","關(guān)聯(lián)公設(shè);關(guān)聯(lián)公理"
-
axiom of infinity:無(wú)窮性公理
axiom of extensionality 外延性公理 | axiom of infinity 無(wú)窮性公理 | axiom of power set 冪集公理
-
axiom of denumerability:可數(shù)公理
連續(xù)性公理 axiom of continuity | 可數(shù)公理 axiom of denumerability | 外延性公理 axiom of extensionality
-
axiom of denumerability:可數(shù)公設(shè);可數(shù)公理
836,"axiom of continuity","連續(xù)性公設(shè);連續(xù)性公理" | 837,"axiom of denumerability","可數(shù)公設(shè);可數(shù)公理" | 838,"axiom of extensionality","外延性公設(shè);外延性公理"
-
axiom of first countability:第一可數(shù)公理
外延性公理 axiom of extensionality | 第一可數(shù)公理 axiom of first countability | 歸納法公理 axiom of induction