Also ich würde es ungefähr so machen:
Voraussetzung: Eine natürliche Zahl + 1 ist eine natürlich Zahl
p soll die größte natürliche Zahl sein.
p + 1 = q
q > p (is fakt da 1 > 0)
q ist also größer p und natürlich, aber wir haben doch angenommen p ist die größte, ergo: Wiedersprcuh