[richy]

Hi
Den Beweis kenne ich. Das ist der von Euklid. Die frac Methode ist aber schneller.
Wurzel(2) ist irrational weil frac(1/sqrt(2))=frac(sqrt(2))
Fuer die Bedingung ist die Zahl eins eine Ausahme.

Deine obigen Aussagen kann ich ueberhaupt nicht nachvollziehen.

> die Gleichung x^2 = 1 ist sinnvoll, weil (.)^2 eine Funktion ist.

z^(a/b) ist ebenfalls eine komplexe Funktion. Denke nur nicht holomorph.

>
Man kann aber nicht behaupten, dass die Menge (1,2,3) und die Zahl 2 gleich sind, nur weil 2 in der Menge enthalten ist.
>

Die Mehrdeutigkeit hast du auch bei x^2=1
Die Loesungsmenge ist x={-1,1} Es wuerde aber doch kein Mensch auf die Idee kommen zu sagen, dass die Gleichung x^2=1 sinnlos ist, weil links eine Loesungsmenge {-1,1} steht und rechts eine Zahl (1).
Also das ist schon sehr zweifelhaft was du da schreibst.