Изменения

Перейти к: навигация, поиск

Натуральные числа

1 байт добавлено, 21:42, 28 мая 2011
Существование наименьшего элемента
|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>
153
правки

Навигация