能想到第一个无穷的对象是自然数，所有的自然数合在一起的集合，没完没了。N显然无穷的，由上一页可知。N是最小的无穷，如果还有一个无穷的集合，那么N一定比这个集合要小。有一个自然数，这个集合拿出一个元素和你的自然数能够一一对应完，而我可能还多，也可能不多，但是至少不会比你少。假设X是无穷的，在X中任取一个，第一个元素叫a0，对应着0，把a0去掉以后，再取一个元素，让a1对着1，这样一直无穷就可以取下去。如果把X取完了，X就是有穷的，就到aN，永远不可能停止。无穷是最小的，叫作“ω（欧米伽）”或者叫“ℵ0（阿列夫零）”。阿列夫是康托最早起的名字，是希伯来文的第一个字母，他觉得拉丁文、希腊文用烦了，所以取阿列夫，用来记录无穷的基数。