153
правки
Изменения
→Существование наименьшего элемента
|statement=
Для любого подмножества натурального ряда всегда существует минимум.
Т. е. <tex>\forall A \subset \mathbb N, A \ne \varnothing , \exists x \in A: \forall y \in A x \leqslant y</tex>
|proof=
Если <tex>1 \in A</tex>, то <tex>1</tex> и есть '''min'''. Иначе <tex>1 \notin A</tex>
