Der
Satz, daß A für alle
Kardinalzahlen gilt, ist eigentlich der Komplex B.
Und sein Beweis, der Beweis von
β und
γ. 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!
678