Mein obiger Vorschlag soll explizit zu jedem Zeichen einzeln erkennbar machen, was es bedeutet. Daß die Axiome in der Sprache der Prädikatenlogik aufgeschrieben werden müssen, steht doch außer Frage. Es geht lediglich darum, daß man als Laie nicht erst umständlich die ganze Sprache der Prädikatenlogik erlernen muß, nur um dann erst verstehen zu können, welches Zeichen was bedeutet. Es ist doch weitaus einfacher, man erklärt die Zeichen direkt anhand der Axiome. So versteht man beides auf einmal.