Man sagt für gewöhnlich, die rekursiven Beweise beweisen || zeigen, daß die algebraischen Gleichungen für alle Kardinalzahlen gelten; aber es kommt hier momentan nicht darauf an, ob dieser Ausdruck glücklich oder schlecht gewählt ist, sondern nur darauf, ob er in allen Fällen die gleiche Bedeutung hat. || ob er in allen Fällen die gleiche, klarbestimmte, Bedeutung hat.