それって単に、一階の理論のモデルを一つ固定して考えてるだけじゃないの