Matematiksel anlamda sonsuzluktan bahsediyorsak farklı türde sonsuzluklardan bahsedebiliriz. Örneğin çift veya tek doğal sayılar kümesi. Bu iki kümenin birleşimi ise başka tür bir sonsuz sayı dizisini verir ki bu da ardışık doğal sayılar kümesidir. Bu nedenle ardışık sayılar kümesinden matematiksel anlamda yukarıdaki gibi farklı türde (örneğin çift doğal sayılar kümesi gibi) sonsuzluklar türetmenin mümkün olabildiğini anlıyoruz. Bu da matematiksel olarak sonsuzdan başka bir sonsuz çıkarmadır diyebiliriz. Yani sonsuz olanın beli türdeki özellikleri de anlıyoruz ki sonsuz olabilir ve sonsuzu verebilir.