无穷大的集合，以求和的方法，证明它们之间的数目是相等的。这是在人类记载上第一次出现无限也可以分类这一个念头。
文艺复兴时代至近代.伽利略最先发现一个集合跟它自己的真子集可以有相同的大小。他用上一一对应的概念说明自然数集{1, 2, 3, 4 ...}跟子集平方数集{1,4,9,16...}一样多。就是1→1、2→4、3→9、4→16、...一一对应正是用于研究无限必要的手法。
数学中的无穷.
无限大的符号.无限大的符号是f