循环定义逻辑学