Los números irracionales son números reales con expansión decimal infinita no periódica que surgen al resolver raíces de números racionales. Algunos ejemplos son π, ε y los obtenidos al resolver raíces cuadradas de números no perfectos. Son un conjunto infinito, ordenado y denso en la recta numérica. Los pitagóricos descubrieron su existencia al intentar hallar la longitud de la hipotenusa de un triángulo rectángulo con lados enteros.