二〇〇七年一〇月一一日（四）〇二時一六分審纂 Itsmine（議｜勛）司空、總校官、有秩二八四六五筆編輯無編輯摘要 ←前辨		二〇〇七年一〇月一一日（四）〇二時四七分審纂悔 Itsmine（議｜勛）司空、總校官、有秩二八四六五筆編輯無編輯摘要後辨→
第二二行：今疇人多宗ZFC集論，Z者，[[策梅羅]]（Zermelo）也；F者，[[弗蘭克爾]]（Fraenkel）也；C者，[[選擇公理]]（Axiom of Choice）也。其公理有十： # 一曰[[外延公理]]︰甲乙之元素咸同，則甲乙亦同。 ~~# [[空集公理]]︰有[[空集\|無物之集]]矣。~~ # 二曰[[配對空集公理]]︰有~~甲乙二~~[[空集~~，則有~~\|無物之集~~｛甲，乙｝~~]]矣。 # [[並集公理]]︰若有集，則有其元素之[[並集]]。▼ # 三曰[[選擇配對公理]]︰若有非空甲乙二集，則有~~其元素之[[直積]]~~集｛甲，乙｝。▼ # [[無窮公理]]︰[[自然數#溤諾曼定義\|溤諾曼定義之自然數]]，亦為集耳。▼ # [[分類公理]]：有集甲及命題乙，則｛ x \| x，甲之元素也，且合命題乙｝亦成集耳。又曰子集公理。▼ # 四曰[[替代並集公理]]︰若有集~~甲及替代法~~，則~~{｛x \| x，甲某~~有其元素之~~替代品也｝亦成~~[[並集耳]]。 # [[冪集公理]]︰若有集，則其[[幕集]]亦存。▼ ▲# 五曰[[無窮公理]]︰[[自然數#溤諾曼定義\|溤諾曼定義之自然數]]，亦為集耳。 # [[正規公理]]︰若有非空集甲，則有元素乙，而甲乙之[[交集]]為空。▼ ▲# [[選擇公理]]︰若有非空集，則有其元素之[[直積]]。 ▲# 六曰[[分類公理]]：有集甲及命題乙，則｛ x \| x，甲之元素也，且合命題乙｝亦成集耳。又曰子集公理。七曰[[替代公理]]︰有集甲及替代法，則{｛x \| x，甲某元素之替代品也｝亦成集耳。 ▲# 八曰[[冪集公理]]︰若有集，則其[[幕集]]亦存。 ▲# 九曰[[正規公理]]︰若有非空集甲，則有元素乙，而甲乙之[[交集]]為空。 ▲# 十曰[[並集選擇公理]]︰若有非空集，則有其元素之[[並集直積]]。 ==結論==

「集論」：各本之異