In der Mathematik wird nichts ueber unendlich ausgesagt, jedenfalls bis Cauchy, es kommen nur Ausdruecke vor in denen es vorkommt. Der erste Beweis ist ein Widerspruchsbeiweis, wenn die natuerlichen Zahlen nicht endlich sind, sind sie unendlich. Das ist ein logischer Beweis. Vielleicht verstehe ich es falsch, aber der konkrete Zeitpunkt und Anlass der Uebernahme, dieses Themas in und durch die mathematische Logik, oder deren Etablierung, sollte als Zaesur (1888?) dargestellt werden, zum Beispiel mit Jahreszahlen im Absatz Anwendungen, Peano hat doch vor 1930 gearbeitet, wie Du es weiter schon durch Deine Verbesserungen getan hast (ich meine die Bezugnahme auf Arithmetik). -- Room 608 02:55, 29. Jun. 2010 (CEST)