Некоторые математические константы, в том числе корень из 17, остаются нерешёнными в элементарной математике, потому что они являются иррациональными числами, то есть не могут быть представлены в виде отношения целых чисел. 12
Доказательство иррациональности корня из 17 основано на принципе упорядоченности и приводит к противоречию, если предположить, что число рационально. 1