Sobolovの定理
一変数論理式による中間論理はすべて有限モデル性を持つ．したがって決定可能．
#広く有限モデル性を言う定理