逻辑学中常用的下定义的方法是