替代公理

公理化集合論和使用它的邏輯數學計算機科學分支中,替代公理模式是 Zermelo-Fraenkel 集合論的一個公理模式,它本質上斷言一個集合在一個映射(泛函謂詞)下的像也是一個集合。它對於構造特定的大集合是必需的。

相關詞條

熱門詞條

聯絡我們