Man hat den Satz „daß für alle
Kardinalzahlen x + (y + z) = (x + y) + z durch die Induktion nicht bewiesen, sondern ihm etwa einen exakten Ausdruck gegeben; zugleich allerdings gezeigt, daß er kein Satz ist in dem Sinne in welchem eine Gleichung dies ist. (Richtiger ausgedrückt: daß er kein Satz ist von der Art deren, von welchen er abgeleitet ist.)