별 도움이 안 되겠지만 도움이 되고 싶어요.

서수 α와 서수 β가 주어졌을 때 α ≠ β이고 α ⊆ β이라면,

서수 γ를 γ := min(β - α)로 둘 수 있고,

임의의 x ∈ β에 대하여,

1) x ∈ α일 때 x ＜ γ이지 않으면 γ의 정의에 모순됨;

2) x ＜ γ일 때 x ∈ β - α이면 γ의 정의에 모순됨;

(1)과 (2)에 의하여 α = { x ∈ β | x ＜ γ }임.