On the fundamental notions of mathematics. Proof of theorems for the sum of angles. (Q1546457)

Der Verfasser sucht einen wesentlichen Grund für den Mangel an Uebereinstimmung in der Auffassung der Grundprincipien der Mathematik in dem Umstande, dass die benutzten grundlegenden Definitionen (z. B. von einer Ebene) nicht vollständig mit den gemäss der Anschauung gebildeten Vorstellungen übereinstimmen. Gewöhnlich pflegt man nicht sogleich alle nötigen Bestimmungen aufzustellen, sondern zieht nur nach und nach mehrere solcher heran, je nachdem sich dieselben notwendig erweisen. Daher kommt es, dass die definirten Begriffe bisweilen von weiterer Fassung sind als diejenigen, welche unserer Anschauung entsprechen. Nichts hindert z. B. eine ``Ebene'' wie dieser Begriff definirt wird, als die Gesamtheit der \(\infty^2\) Geraden, welche durch einen festen Punkt geben, aufzufassen; die entsprechende ``Gerade'' der ``Ebene'' wird dann gebildet durch die \(\infty^1\)Geraden, welche durch den gegebenen Punkt geben und in der nämlichen Ebene liegen. Da in einem in Uebereinstimmung hiermit gebildeten ``Dreieck'' die Winkelsumme \(>2R\) ist, so erfordert der Satz über die Winkelsumme eines ebenen Dreiecks eine neue Bestimmung der Ebene ausser den gewöhnlichen. Beiläufig wird bemerkt, dass der von Legendre gegebene Beweis dafür, dass die Winkelsumme \(<2R\) sein muss, sich auf eine der Anschauung entlehnte Voraussetzung stützt. Um die fehlende Bestimmung der Ebene zu erhalten, führt der Verfasser den Begriff der ``Verschiebung'' ein; indem er durch solche eine Bewegung der Ebene in sich selbst versteht, durch die eine Gerade längs sich selbst verschoben wird. Wenn man dann der Ebene eine solche Eigenschaft beilegt, dass die ganze Ebene wieder ihre ursprüngliche Stellung einnimmt, wenn ein Punkt derselben nach mehreren nach einander vorgenommenen ``Verschiebungen'' wieder in seine ursprüngliche Lage zurückgekehrt ist, so gilt für eine solche Ebene immer der Satz von der Winkelsumme. Die gegebene Bestimmung gilt auch für Kugelflächen, auf welchen grösste Kreise durch einen festen Punkt die Geraden vorstellen, und hier ist der Satz leicht direct zu beweisen. Für diese ``Ebene'' gelten aber nicht die gewöhnlichen Congruenzsätze.