Herhangi iki sayı arasında daima sonsuz sayıda rasyonel sayı bulabileceğimiz için, rasyonel sayıların tüm sayılan kapsadığı düşünülebilir. Bu gerçekten de Pisagor'un umduğu şeydi. Onun metafiziği, dünyanın sayılarla kurulduğu ve bu sayılar arasında harmonik bir oranın bulunduğu inancı ile temelleniyordu. Bir oran ile tanımlanamayan bir sayının varlığı doğrudan çelişki oluşturmasa da, konumunu sarsıyordu.
Ancak, Pisagor için üzücü olsa da kesirlerle ifade edilemeyen sayılar vardır ve Pisagor için biraz utanç verici olsa da bizi bu sayılara götüren kendine ait bir teoremdir. Eğer kenar uzunluğu 1 olan bir kareniz varsa köşelerden çizilen bir doğru ikinin kareköküdür ve herhangi bir kesirli ifade biçiminde yazılamaz