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 eine Methode || einen Weg der Verifikation an.