无限集合是由无限个元素组成的集合，也称无穷集合或无限集。無限集合一般常見的例子有自然数集、整數集、有理数集等。無限集合分為可數集和不可數集。^[1][2][3]

自然数集是公理直接要求是无限集合的唯一集合。

集合論中，集合主要分為有限集合與無限集合。有限集合很多的性質是顯而易見的，而無限集合的非有限性，使得其一些基本性質也變得並不顯而易見。個別的數學家甚至質疑諸如选择公理等基本公設使用在無限集合身上是否仍然正確。罗素悖论提出以後，一些激進的數學哲學家提倡禁止在數學中使用無限集合以挽救第三次數學危機。

整数集${\displaystyle \mathbb {Z} =\{\ldots ,-1,0,1,2,\ldots \))$是一个可数的无穷集合。整数的某些子集也是可数的无限集合，如：偶数集、奇数集等。

实数集${\displaystyle \mathbb {R} }$、无理数集等都是无穷不可数集合。

在无限集合中，集合大小的比较不是显然的。

• 在基数意义下，一个集合的真子集可以等于自身，例如：

偶數和整數哪個多？

整數：${\displaystyle \ldots ,-1,0,1,2,3,4,5,\ldots ,n}$

偶數：${\displaystyle \ldots ,-2,0,2,4,6,8,10,\ldots ,2n}$

通過建立一一對應的關係，可以證明偶數和整數在基数意义下一樣多，雖然這有悖於一般認識。

• 在密度意义下，同样的例子里，偶数集的大小是自然集的一半：

对于${\displaystyle N\to \infty }$，小于${\displaystyle N}$的偶数数目 与 小于${\displaystyle N}$的整数数目 的比值趋近于${\displaystyle 0.5}$。

1. ^ The Definitive Glossary of Higher Mathematical Jargon — Infinite. Math Vault. 2019-08-01 [2019-11-29]. （原始内容存档于2020-02-28） （美国英语）. 
2. ^ Weisstein, Eric W. (编). Infinite Set. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [2019-11-29]. （原始内容存档于2020-11-27） （英语）. 
3. ^ infinite set in nLab. ncatlab.org. [2019-11-29]. （原始内容存档于2020-10-01）. 

查 论 编 集合论 公理 选择 可数 依賴 外延 无穷 配对 幂集 正则性 并集 马丁公理 公理模式 替代 分类 运算 笛卡儿积 德摩根定律 交集 冪集 补集 对称差 并集 概念 方法 势 基数（大基数） 类 可构造全集（英语：Constructible universe） 连续统假设 對角論證法 元素 有序对 多元组 集合族 力迫 一一对应 序数 超限归纳法 文氏图 集合类型 可數集 空集 有限集合（继承有限集合） 模糊集 无限集合 递归集合 子集 传递集合 不可數集 泛集（英语：Universal set） 理论 可替代的集合论 集合论 朴素集合论 康托尔定理 策梅洛 广义（英语：General set theory） 《数学原理》 新基础 策梅洛-弗兰克 冯诺伊曼-博内斯-哥德尔 Morse–Kelley（英语：Morse–Kelley set theory） 克里普克–普拉特克（英语：Kripke–Platek set theory） 塔斯基–格罗滕迪克（英语：Tarski–Grothendieck set theory） 悖论（英语：Paradoxes of set theory） 问题 罗素悖论 蘇斯林問題 ZFC系統無法確定的命題列表 集合論者 亚伯拉罕·弗兰克尔 伯特兰·罗素 恩斯特·策梅洛 格奥尔格·康托尔 约翰·冯·诺伊曼 库尔特·哥德尔 盧菲特·澤德 保罗·贝尔奈斯（英语：Paul Bernays） 保罗·寇恩 理查德·戴德金 托马什·耶赫 威拉德·蒯因