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