>>771
そのへんは論理体系によるだろう
個人的には範囲を指定しない量化は気持ち悪い