nmesiyle elde edilir. Örneğin sıfırdan farklı bir z sayısı için formula_18 ifadesi sonsuz değerini verir. Bu yazıda meromorf işlevleri kutuplarda formula_14 değerini alan Riemann küreleri için bir harita olarak düşünmek kolaylık sağlayabilir. Karmaşık değerli bir işlevin tanım kümesi sonsuz değerini alacak kadar da genişletilebilir. Bu tip işlevlere verilebilecek örnek Möbius dönüşümleri grubudur.

Isaac Newton ve Gottfried Leibniz tarafından fomüle edilen sonsuz küçük kalkülüsünün orijinalinde sonsuz küçükler kullanılmıştır. 20. Yüzyılda bu tarz bir yaklaşımın yumuşatılmış sonsuz küçük analizi ve standart dışı analizi de içeren çeşitli mantıksal sistemler boyunca sıkı bir temel oluşturabileceği gösterildi. Standart dışı analizde sonsuz küçükler tersinirdir ve bunların tersinirleri sonsuz sayılardır. Bu açıdan bakıldığında sonsuz sayılar hiperral alanının bir parçasıdır. Aralarında herhangi bir eşitlik yoktur. Örneğin H bir sonsuz sayı ise, H + H = 2H ve H + 1 farklı birer sonsuz sayıdır. Standart dışı kalkülüse bu yaklaşım tam olarak Keisler (1986)’de geliştirilmiştir.

Sonsuzun diğer farklı şekilleri olan sıral ve nicel sonsuzlar küme kuramındaki sonsuzlardır. Georg Cantor ilk sonlu ötesi alef-sıfır formula_20 olan bir sonlu ötesi sistemi geliştirmiştir. Nicel sonsuzlara dair bu modern matematiksel görüş 19. Yüzyılın sonlarında Cantor, Gottlob Frege, Richard Dedekind ve diğerlerinin çalışmalarıyla ve grup ve kümelere dair fikirleriyle gelişmiştir. 
Dedekind’ın yaklaşımı temelde birebir işlev fikrini kümelerin boyutunu belirlemede standart olarak benimseyip, Galile’nin bütün, parçalar ile aynı boyutlarda olamaz görüşünü reddetmeye dayanır. Bir sonsuz küme en azından kendisinin alt kümelerinden biri ile aynı boyuta sahip olan bir küme olarak tanımlanabilir. Sonsuzun bu tanımı Dedekind sonsuzu olarak bilinir. Verilen şema bu konuya bir örnek teşkil etmektedir: Doğruları sonsuz noktalar kümesi olarak düşündüğümüzde alttaki mavi doğrunun sol yarısı, yukarıdaki doğruya birebir şeklinde gösterilebilir. (Yeşil benzerlik çizgiler ile.) ve tersi yapıldığında, yukarıdakinden aşağıdaki mavi doğrunun tamamına, (Kırmızı benzerlik çizgileri ile) aşağıdaki mavi doğrunun tamamı ve sol yarısı aynı niceliğe ya da boyuta sahiptir.
Cantor, sıral sayılar ve nicel sayılar olmak üzere iki farklı sonsuz sayı tanımlamıştır. Sıral sayılar, iyi-sıralı kümeler veya saymanın sonsuzdan sonraki noktaları da içeren herhangi bir durma noktasına kadar devam eden sayılar şeklinde tanımlanabilir. Nicel sayılar kümelerin boyutunu, kaç elemana sahip olduklarını, belirler ve belirli bir boyutun ilk sıral sayısının o boyutun nicel sayısını belirtmek için seçilmesi ile standartlaştırılırlar. En küçük sıral sonsuz pozitif tam sayılardır ve tam sayıların niceliğine sahip herhangi bir küme sayılabilir sonsuzdur. Eğer küme pozitif tam sayılarla birebir benzeşme yapmak için çok büyükse sayılamaz denir. Canton’un görüşü etkili oldu ve modern matematik gerçek sonsuzu kabul etti. Hiperreal sayılar gibi belirli genişletilmiş sayı sistemleri sonlu sayıları ve farklı boyutlardaki sonsuz sayıları kapsar.

Cantor’un ulaştığı en önemli sonuçlardan biri de sürekliliğin niceliği formula_21’nin doğal sayılarınkinden formula_22 büyük olmasıdır. Diğer bir deyişle doğal sayılardan N daha fazla gerçek sayı R vardır. Cantor bunu formula_23 şeklinde göstermiştir (bakınız Cantor'un köşegen yöntemi). 
Süreklilik hipotezi gerçek sayıların niceliği ile doğal sayıların niceliği arasında bir nicel sayı olmadığını söyler. Yani, formula_24. Ancak bu hipotez yaygın olarak kabul görmüş Zermelo-Fraenkel küme kuramı ile ne kanıtlanabilir ne de yanlışlığı ortaya konulabilir.
Nicel aritmetik sadece gerçek sayı doğrusundaki noktaların sayısının bu doğrudaki herhangi bir bölmedeki noktaların sayısına eşit olduğunu göstermek için kullanılmaz. Aynı zamanda bu, sonlu boyutlu herhangi bir uzaydaki bir düzlemdeki noktaların sayısının da eşit olduğunu belirtir.

Bu sonuçların ilki (−π/2, π/2) Aralığı ve R arasında birebir benzeşme gösteren bir tanjant işlevi düşünüldüğünde aşikârdır. İkinci sonuç Cantor tarafından 1878’de kanıtlandı ancak 1980’de Giuseppe Peano boşluk dolduran eğrileri, dönüşler ve çeşitli bükülmeler sonucunda herhangi bir kareyi küpü ya da hiperküpü ya da sonlu boyutu olan bir uzayı dolduracak hale gelen eğri çizgiler, ortaya attığında sezgisel olarak anlaşılabilecek şekilde aşikâr oldu. Bu çizgiler bir karenin herhangi bir kenarındaki noktalar ile içindeki noktalar arasında birebir benzeşme kurmak için kullanılabilir.

Sonsuz boyutlu uzaylar geometri ve topolojide çokça kullanılmaktadır. Buna verilebilecek en yaygın örnekler sonsuz boyutlu karmaşık izdüşümsel uzay K(Z,2) ve sonsuz boyutlu karmaşık gerçek uzay K(Z/2Z,1) dir.

Fraktal bir cismin yapısı temel olarak tekrarlanarak büyültme ile oluşur. Fraktaller yapıları bozulmadan sınırsız miktarda büyütülebilir ve düzgün hale gelirler. Çevre uzunlukları sonsuzdur ancak bazı fraktal cisimlerin sonsuz uzunlukta çevreleri olmasına rağmen sonlu miktarda yüzey alanları vardır. Sonsuz çevresi ve sonlu yüzey alanı olan bu tip fraktal eğrilere örnek olarak Koch kar tanesi örnek olarak gösterilebilir.

Leopold Kornecker sonsuz kavramına ve 1870 ve 1880lerde onu kullanan meslektaşlarına karşı şüphe ile yaklaştı. Matematik felsefesinde geliştirilen bu şüphecilik finitizm (matematikte sadece sonlu kavramların varlığını kabul eden olarak adlandırıldı. Finitizm, oluşturmacı matematik ve sezgici matematiğin uç halidir.

Fizikte, gerçek sayılar sürekli ölçümler için, doğal sayılar ise sayılabilir ölçümler için kullanılır. Bundan dolayı, ölçülemez miktarların sonsuz değere sahip olduğu fizikçiler tarafından kabul görmüştür. Örneğin, genişletilmiş gerçek sayılar sisteminde bir sonsuz değeri almak ya da sonsuz sayıdaki olayların sayılması. Ayrıca herhangi bir cismin sonsuz kütleye ya da enerjiye sahip olamayacağı farz edilir. Bir diğer yandan bazı sonsuz kavramların varlığı kabul edilir ancak bunlara dair deneysel bir bilgi yoktur.

Ölçülebilir miktarlar için sonsuz değerleri reddetmek fikri ideolojik nedenlerden ötürü ortaya çıkan bir fikir değildir. Daha çok metodolojik ve faydacı görüşlerden dolayı ortaya çıkmıştır. Herhangi bir fiziksel veya bilimsel kuramın gerekliliklerinden biri gerçekle uyuşan ya da en azından benzerlik gösteren kullanılabilir bir formül üretmesidir. Örneğin, sonsuz kütleye sahip bir cismin var olması. Bu cismin Kütle çekim kuvvetini hesaplamaya yönelik kullanılacak her formülün sonucu sonsuz çıkacaktır ve bu sonuç cismin yerini veya diğer cisimlerin kütlesini yok sayarak yine aynı çıkacaktır ve hiçbir fayda sağlamayacaktır. Eğer sonsuz kütleli bir cisim var olsaydı, sonlu kütleye sahip herhangi bir cisim diğer cismin uygulayacağı sonsuz kuvvetten (ve bundan dolayı ivmeden) etkilenecekti. Bu tip bir olayı gerçekte gözlemlemek imkânsızdır. Bazen kuramdan elde edilen sonsuz sonucu kuramın yetersiz kaldığı ya da başarısız olduğu noktaya yaklaştığının göstergesi olabilir. Bu durum kuramın kısıtlamalarını belirlemede yardımcı olur.

Bu bakış açısı sonsuzun fizikte kullanılamayacağı anlamına gelmez. Kolaylık olsun diye genelde hesaplamalarda, denklemlerde, kuramlarda, yaklaşımlarda sonsuz seriler, sınırsız işlevler vb. kullanılır ve sonsuz miktarlarla işlemler de yapılır. Ancak fizikçiler elde edilen sonucun fiziksel olarak anlamlı olmasına gerek duyar. Kuantum kuramında sonsuz değere ulaşan sonuçlar fiziksel bir anlamı olması için yorumlanır. Bu sürece yeniden boyutlandırım adı verilir.

Ancak, sonucun sonsuz olduğu bazı kuramsal durumlar da vardır. Bu duruma kara delikleri tarif ederken kullanılan aykırılık örnek olarak verilebilir. Genel görelilik kuramındaki bazı denklemlerin çözümleri boyutsuz ve sonlu kütleli bu nedenle de sonsuz yoğunluğa sahip cisimlerin var olmasına izin verir. Bu matematiksel aykırılık denilen duruma ya da fiziksel kuramın çöktüğü yere bir örnektir. Bu fiziksel sonsuzların var olduğunu göstermez, daha çok kuramın bu tip durumları doğru açıklayamadığını gösterir. Diğer iki örnek ise ters kare kuvvet kanunları olan Newton’un çekim kuvveti yasası ve Coulomb’un elektrostatik yasasıdır. r=0 durumunda bu denklemler sonsuz değerini verir.

1584’te İtalyan filozof ve astronom olan Giordano Bruno “On the Infinite Universe and Worlds” ( Sonuz Evren ve Dünyalar) adlı eserinde “ Sayılamayacak kadar çok güneş vardır ve sayılamayacak kadar dünya bunların etrafında bizim güneşimiz etrafında dönen yedi gezegen gibi dönmektedir. Canlılar bu dünyalar üzerinde yaşamlarını sürdürmektedir.” Şeklinde açıklayarak sonsuz evren fikrini ortaya atmıştır
Kozmologlar uzun süre boyunca sonsuzun fiziksel dünyamızda var olup olmadığını keşfetmek için uğraştılar: “Sonsuz sayıda yıldız var mı? Evrenin sonlu bir hacmi var mı? Uzay sonsuza kadar devam mı ediyor?” gibi ucu açık sorularla bu konu üzerinde çalışmışlardır. Dikkat edilmesi gereken bir nokta ise sonsuz olmanın mantıken sınırı olmamaktan farklı şeyler olduğudur. Dünya’nın iki boyutlu yüzeyi sonludur ama sınırı yoktur. Düz bir doğru boyunca gidilirse sonuçta başlangıç noktasına geri dönülür. Evren de, en azından prensipte, bu tip benzer bir topolojiye sahip olabilir. Eğer öyleyse, evren boyunca düz bir çizgide ilerleyen birisi en sonunda başlangıç noktasına geri dönecektir.
Diğer bir açıdan, eğer evren bir küre gibi eğrilmek yerine düz bir topolojiye sahipse hem sınırsız hem de sonsuz olabilir. Evrenin eğriliği kozmik arka plan ışımasındaki çok kutuplu momentler sayesinde ölçülür. WMAP uzay aracının kaydettiği ışıma analizleri evrenin düz bir topolojiye sahip olduğunun işaretlerini vermektedir. Bu durum sonsuz fiziksel evren ile tutarlı olacaktır. 2009’da fırlatılan Planck adlı uzay aracının bu kozmik ışımaları 10 kat daha hassas şekilde kaydetmesi ve evrenin sonsuz olup olmadığı konusunda daha fazla fikir edinilmesine yardımcı olması bekleniyor. 
Sonsuzluk fikri, astrofizikçi Michio Kaku tarafından açıklanan çoklu evren hipotezine kadar uzanmaktadır. Bu hipoteze göre birçok