>>950
論議領域Dが{a,b,c}のとき、∀xFx⇔Fa∧Fb∧Fcだが、Dを空集合で考えてるのか?