最小無限大

在數學中，特別是在集合論和邏輯學中，「最小無限大」這個概念通常指的是最小的無限集，也就是自然數集。自然數集是無限集，並且在所有無限集之中，它是「最小」的，因為它不包含任何其他的無限集。

在比較不同的無限集時，我們可以使用對應關係來判斷它們的大小。如果一個集合的元素可以與另一個集合的元素建立一對一對應關係，那麼這兩個集合就被稱為是等價的，或者說它們具有相同的大小。在所有的無限集之中，自然數集是「最小」的，因為它不包含任何其他的無限集：你不能建立一個從自然數集到任何其他無限集的一對一對應關係。

這種觀念在 Georg Cantor 發展的集合論中尤其重要，他引入了無限集之間的對應關係和大小比較的概念。在 Cantor 的理論中，自然數集被賦予了特殊的地位，因為它是「最小」的無限集。