それなら「P(A)を満たすAが存在する」形式は「¬P(A)を満たすAが存在しない」と書き換えて終わる