well-ordering principle

Мат. принцип вполне упорядочения