Oder kann man sagen der Satz
      (∃φ):(Еx) φx ist sein eigener Beweis, da der Satz || das Zeichen selber so ein Ding enthält.