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