ℵ₀

ℵ₀(阿列夫零, aleph-null)是第一个超限基数。也就是超过了所有自然数的第一个基数，与自然数集本身等势。也就是说与自然数集等势的集合称为其势为 ℵ₀ 。

我们也说集合中有 ℵ₀ 个元素。

阿列夫零
对象名称	阿列夫零
对象记号	[math]\displaystyle{ \aleph_0 }[/math]
Latex	\aleph_0
对象类别	基数

由于涉及是否能从全部超限基数中选择出唯一的最小的，其是否是最小的这一点依赖于可数选择公理。