Every non-empty Subset of natural numbers has a least element Theorem Every Bounded Above Sequence of Natural Numbers is finite.