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