438
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!