だから>>745は一階の述語論理により構成できます。