无限不循环小数。任何无理数都不能表示成两个整数之比。早在公元前5世纪，古希腊的毕达哥拉斯学派就已通过不可公度量(如正方形边长与其对角线长之比)，发现了无理数，但其严格定义直到19世纪才由戴德金、康托尔等人建立。