5˙3031
[Schon entnommen] Sind ja schon im Elementarsatz alle logischen Operationen enthalten. Denn φa = (Еx) ∙ φx ∙ x = a.