一階述語論理の表現力.