Wir nehmen also (aus diesen Grundlagen, auf diese Weise) die Konstruierbarkeit ˇ(Beweisbarkeit) dieses Symbols (ˇnämlich des math. Satzes) zum Zeichen dafür, daß wir Symbole so & so transformieren sollen – – –