Математика кажется строгой и «скучно логичной», но уже на уровне обычных чисел начинаются вещи, которые идут вразрез с интуицией — от бесконечного количества простых до того, что разные бесконечности бывают «разного размера». Запись 0,9999… с бесконечным количеством девяток обозначает то же самое число, что и 1, хотя интуиция тянет сказать «чуть-чуть меньше».
Математически можно показать, что разность между ними равна нулю, а значит это одна и та же точка на числовой прямой, просто записанная по‑разному. Как бы близко ни стояли два разных числа — между ними всегда можно найти ещё одно (и на деле бесконечно много).
Это верно даже для чисел, отличающихся на «ничтожную» величину, и именно поэтому рациональных чисел «меньше», чем всех действительных: между любыми двумя рациональными прячется несчётное множество иррациональных. Простые числа (делящиеся только на 1 и себя) встречаются всё реже, но никогда не «кончаются» — это доказал ещё Евклид.
При этом строгого простого правила, по кот