我忘了書名和作者了，講群、體、環，還有集合論，從Peano axioms講自然數，然後建構出有理數，實數，可數的無限及

不可數的無限，及無限序列的無限。用所有子集的集合來建構這些。

很有意思的。