Формулы

1) Натуральные, целые и рациональные числа. Конечные и бесконечные десятичные дроби. Равенство и неравенство десятичных дробей. Следствия этих отношений. Линейный порядок на множестве десятичных дробей. Числовая прямая. Интервалы, отрезки и промежутки. Плотность конечных десятичных дробей на любом интервале. Десятичные приближения и их свойства.

$\mathbb N \sub \mathbb Z \sub \mathbb Q \sub \mathbb R$

Опишем $\mathbb N$: