>>725
それなら一階述語論理で十分みたいですね