Es ist klar daß ich die Konstruktion der mathematischen Satzzeichen dadurch erklären
muß, daß ich angebe wie die so gebildeten Sätze verifiziert werden sollen. Denn jedes Zeichen deutet
einen Weg
eine Methode
der Verification an.