不可数集（）是无穷集合中的一种。一个无穷集合和自然数集之间要是不存在一个双射，那么它就是一个不可数集。集合的不可数性与它的基数密切相关：如果一个集合的基数大于自然数的基数，那么它就是不可数的。
定义.不可数集有许多等价的定义。一个集合formula_1是不可数集，当且仅当以下任何一个条件成立：
例子.不可数集的最广为人知的例子，是所有实数的集合formula_10；对角论证法证明了这个集合是不可数的。对角论证法也可以用来证明一些其它的集合是不可数的，例如