Axiom: The empty set exists, which is to say that there is a set containing no elements,
∀
x
,
(
x
∉
∅
)
Subset of Naturals with a Max Element has Bounded Difference
Suppose
S
⊆
N
1
has a max element
n
and min element
n
, and
D
:=
{
x
−
y
:
x
≠
y
∈
S
}
max
(
D
)
≤
m
−
n
Suppose
x
−
y
∈
D
since
x
,
y
∈
S
then
x
≤
m
and
y
≥
n
therefore:
x
−
y
≤
m
−
y
≤
m
−
n
thus
max
(
D
)
≤
m
−
n
as needed.