集論
（渡自樸素集論）
集論者，當世算術之本也。凡數學之物，殆必為集。若夫光大其者，乃德意志疇人康托爾（Georg Cantor）耳。
樸素集論
[纂]一八七四年，康托爾撰文曰：「夫實數集者，不可一一對應自然數集，故實數遠多於自然數耳。」遂始集論之學。
文出，訿譽參半。訿者曰：「數，有限之量也；以有限之理則，論無限之事，誠不可也。」
未幾，代數、幾何、運算、測度諸學，咸以集論言之。
初，物聚皆可成集，遂生悖論。故後人脩之曰︰「凡合乎公理者，方能成集耳。」至若希爾伯特（Hilbert）著《樸素集合論》，言康托爾之說，舊集論遂亦名樸素集論耳。
羅素悖論
[纂]羅素悖論（Russell's paradox）曰：「無己之集，聚以集成，問此集有已乎？則自相矛盾而不可解。」
言以公理集論，無己之集，聚莫集成，故羅素悖論不再耳!
公理集論
[纂]今疇人多宗ZFC集論，Z者，策梅羅（Zermelo）也；F者，弗蘭克爾（Fraenkel）也；C者，選擇公理（Axiom of Choice）也。其公理有十：
一曰外延公理︰甲乙之元素咸同，則甲乙亦同。
三曰配對公理︰凡有二物，必成一集。若二物同，則得一物之集耳。
六曰分類公理：有集甲及命題乙，則甲之物合命題乙者，亦成集耳。又曰子集公理。
結論
[纂]問：有如斯集，小於實數集而大於自然數集乎？此為連續統是也。
答：無論有無，咸可證無矛盾於ZFC集論，蓋有無皆有新集論耳。故曰︰「ZFC集論未足善耳。」
希爾伯特嘗期完備之集論。然於一九三一年，哥德爾（Godel）證曰：「凡合自然數之公理集論，無矛盾則弗足善耳。」此即為不完備定理耳。誠如是，則集論之限，可曰無窮耳！