Well Ordering Principal

One of the most obvious axioms going. Related to Set Theory

WOP

Every non-empty set of non-negative integers has a smallest element.