Der Satz, daß A für alle Kardinalzahlen gilt ist eigentlich der Komplex B. Und sein Beweis, der Beweis von β & γ. Aber das zeigt auch, daß dieser Satz in einem andern Sinne Satz ist, als eine Gleichung, & 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, & dann erkennen, daß es noch andere Arten von mathematischen Sätzen gibt!