5˙3031
⌊⌊Schon Entn.⌋⌋ Sind ja schon im Elementarsatz alle logischen Operationen enthalten. [d|D]enn φa = (Еx) ∙ φx ∙ x = a.