Nehmen wir an, wir sagten, die Konstruktion könnte mich nicht überzeugen, daß bei der Ausrechnung von 24 16 herauskommen muß – wie kann ich dann die Technik des Definierens mit Überzeugung verwenden?
    Muß ˇR Russell mir auch mittels logischer Beweise demonstrieren, daß beim zurückführen eines Ausdrucks auf die primäre Schreibweise das Richtige herauskommen muß?