そうそう、言語がはっきりしてなければ有界量化が何なのか分からないのだから
そもそもΣnの定義が定まらないよね。