I) Ist Mn = {1, ..., n} und Mn+1 = {1, ..., n+1}, dann ist jede Teilmenge von Mn+1 entweder
- eine Teilmenge von Mn, oder
- eine Menge die man bekommt indem man zu einer Teilmenge von Mn das Element n+1 hinzufügt.
Das kann man als Grundlage für eine vollständige Induktion verwenden.
II) Angenommen es gibt ein solches f. Sei n = f-1(A). Dann ist
(1) f(n) = A
laut Definition von n. Außerdem ist
(2) n ∉ f(n),
laut Definition von A. Wegen (1) und (2) ist also auch
(3) n ∉ A.
Aus (3) folgt, dass n ∉ f(n) nicht sein kann (wäre n ∉ f(n), dann wäre n ∈ A). Also ist
(4) n ∈ f(n).
(2) und (4) widersprechen sich.