Der Satz, daß A für alle Kardinalzahlen gilt,
ist eigentlich der Komplex B.
Und sein Beweis, der Beweis von v und w.
Aber das zeigt auch, daß dieser Satz in einem
andern Sinne Satz ist, als eine Gleichung, und
sein || dieser Beweis in anderm Sinne Beweis eines
Satzes.
Vergiß hier nicht, daß wir
nicht erst den Begriff des Satzes haben, dann wissen,
daß die Gleichungen mathematische Sätze sind, und dann
erkennen, daß es noch andere Arten von
mathematischen Sätzen gibt!
677