∀q ∈ ℕ, ∃p ∈ ℕ: q > p ⇒ q2 > p2
Das ist wieder so eine Aussage der Form
Für alle q gibt es ein p .......
Also musst du beim Beweis davon ausgehen, du habest irgendein q
und musst dann das zugehörige p angeben.
Also kannst du annehmen, du hast ein q und suchst
ein p so dass die Folgerung q > p ⇒ q2 > p2 .
Wenn q =0 ist, gibt es ja kein kleineres p, also ist
q > p immer falsch und damit die Folgerung wahr.
Es gibt also so ein p, z.B. p=0.
Bei größerem q, gibt es natürlich ein p, für das
q>p wahr ist (z.B. p=q-1 ) und für p=q-1 gilt
jedenfalls q^2 > p^2 .