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 – – –