「集論」：各本之異
| [底本] | [底本] |
刪去的內容 新增的內容
細 r2.7.1) (僕 增: ro:Teoria mulțimilor |
細 r2.7.3) (僕 增: ml:ഗണസിദ്ധാന്തം;整洁的变更 |
||
第一行：
'''集論'''者，當世算術之本也。凡數學之物，殆必為[[集]]。若夫光大其者，乃[[德意志]]疇人[[康托爾]]（Georg Cantor）耳。
== 樸素集論 ==
[[一八七四年]]，康托爾撰文曰：「夫[[實數]]集者，不可[[一一對應]][[自然數]]集，故實數遠多於自然數耳。」遂始集論之學。
第一一行：
初，物聚皆可成集，遂生[[悖論]]。故後人脩之曰︰「凡合乎公理者，方能成集耳。」至若[[希爾伯特]]（Hilbert）著《樸素集合論》，言康托爾之說，舊集論遂亦名樸素集論耳。
== 羅素悖論 ==
'''[[羅素悖論]]'''（Russell's paradox）曰：「無己之集，聚以集成，問此集有已乎？則自相矛盾而不可解。」
第一七行：
言以公理集論，無己之集，聚莫集成，故羅素悖論不再耳!
== 公理集論 ==
今疇人多宗ZFC集論，Z者，[[策梅羅]]（Zermelo）也；F者，[[弗蘭克爾]]（Fraenkel）也；C者，[[選擇公理]]（Axiom of Choice）也。其公理有十：
第四一行：
十曰[[選擇公理]]︰若有非空集，則有其元素之[[直積]]。
== 結論 ==
問：有如斯集，小於實數集而大於自然數集乎？此為[[連續統]]是也。
第九九行：
[[lv:Kopu teorija]]
[[mk:Теорија на множествата]]
[[ml:ഗണസിദ്ധാന്തം]]
[[mr:संचप्रवाद]]
[[ms:Teori set]]
| |||