Assumption: Assume that has no maximum. Then .
We now show by induction that .
So, define the propositional function as . Then
is true. So by induction is true .
In particular if , where is an upper bound of , . But . Contradiction.
So our original assumption is false, and A therefore has a maximum.