There is no integer between 0 and 1. This fact can be proven using the well-ordering principle, which states that any non-empty set of positive integers contains a least element. Let the set be the set containing all positive nonzero integers between 0 and 1 and assume for contradiction's sake that is nonempty