Wenn ich die Zeichen „~” und „ ∙ ” verstehe, so kann ich p ∣ q durch ~p ∙ ~q = p ∣ q Def erklären. Aber ich kann nun im Gebrauch der Form ξ ∣ η so weit kommen daß ich um sie zu verstehen die Übersetzung in ~ξ ∙ ~η nicht mehr vornehmen muß & dann ist diese || die Definition obsolet geworden & damit gezeigt daß sie von vornherein nicht unbedingt nötig gewesen wäre. Denn || , denn alles was nötig war, war die grammatischen Regeln für ξ ∣ η zu kennen.