Hi,
Vollständige Induktion (b ∈ ℤ ist Vorausgesetzt und a ∈ ℕ ebenfalls)
(I.A.): a = 0 (bei a/b):
a/b = 0/b und weil 0,b ∈ ℤ ⇒ a/b = 0/b ∈ ℚ
(I.S.): a/b ∈ ℚ ist die Voraussetzung:
(a+1)/b = a*/b und a* ist wegen Piano-Axiom ebenfalls in ℕ. Somit ist (a+1)/b ∈ ℚ
a* ist der Nachfolger von a, und wir haben gezeigt, dass für jedes a/b mit b ∈ ℤ und a ∈ ℕ es noch eine weiter rationale Zahl existiert deren Nenner eine ganze Zahl und deren Zähler eine natürliche Zahl ist. Und weil es unendlich viele natürliche Zahlen gibt, auch unendlich viele rationale Zahlen.