Every non-empty Subset of natural numbers has a smallest element. Often used to prove Termination, if a given Natural Number is Strictly Decreasing
Theorem
Every Bounded Above Sequence of Natural Numbers is finite.
Every non-empty Subset of natural numbers has a smallest element. Often used to prove Termination, if a given Natural Number is Strictly Decreasing
Every Bounded Above Sequence of Natural Numbers is finite.