Es fehlen die irrationalen Zahlen den ist in Q nicht lösbar, anders gesagt ist auf dem Zahlenstrahl zwischen zwei rationalen Zahlen:
x sei eine gekürzte rationale Zahl, also mit
daraus folgt
formt man den Term nach p2 um erhält man was bedeutet p2 ist gerade
ist p2 gerade ist auch p gerade
daraus folgt, es gibt eine Zahl, mit p=2m rechnen wir zurück gibt das für p2=4m2
setzen wir nun die beiden Gleichungen und p2=4m2 gleich erhalten wir für q2=2m2 womit q2 und somit auch q eine gerade Zahl sein muss
somit sind p und q beide durch 2 teilbar, dies steht aber in Wiederspruch zu Punkt 1, denn p und q müssten mit ggT(p,q) ja eigentlich teilerfremd sein.