>一階述語論理の重要性は否定しない
じゃなんで勉強せんの?