抽象概念与刑法推理