我忘了书名和作者了，讲群、体、环，还有集合论，从Peano axioms讲自然数，然后建构出有理数，实数，可数的无限及

不可数的无限，及无限序列的无限。用所有子集的集合来建构这些。

很有意思的。