存在量化については独立した記法はなく、formula_7と等価な記法であった。