Aber tatsächlich brauche ich hier nicht unendliche Reihen zu benützen, da der Satz (∃x) φx dasselbe sagt.