Hat es einen Sinn zu sagen (∃x)2x = x + x vorausgesetzt daß ich die Schreibweise annehme: (x)2x = x + x? Davon scheint etwas abzuhängen.
  Oder richtiger: Ist hier (∃x) φx mit (x) φx vereinbar?