Die Gausssche Begruendung ist eine schoene, einfache und gut verstaendliche. Jedoch sehe ich gerade nicht, wie z.B. die Aussage "Die Summe der Zahlenpaare wird zu n+1 und die Anzahl der Zahlenpaare [wird] zu n/2" rein logisch gefolgert werden koennte. Dies ist mMn jedoch noetig, um von einem mathematischen Beweis sprechen zu koennen. Denn der hat bitteschoen innerhalb des Axiomensystems zu bleiben. Die Vertauschbarkeit endlich vieler Summanden kann man selbstverstaendlich als bekannt voraussetzen, da liegt auch nicht mein Problem. Mir bereitet die Stelle Kopfzerbrechen, an der auf die Summe und die Anzahl der Zahlenpaare geschlossen wird, nicht die Existenz der Umordnung und Gleichwertigkeit zur urspruenglichen Reihenfolge. Da hab ich den Satz im Artikel wohl falsch geschrieben: