Принцип хорошей упорядоченности¶

Также: принцип наименьшего элемента

Определение. Если A ⊆ ℕ и A ≠ ∅, то существует m ∈ A такое, что m ≤ a для всех a ∈ A. Эквивалентен математической индукции.

В каких главах встречается¶