他听到了这个公理

系统地审核 Axiom 日志，以识别错误和警告、确定优先级并研究错误和警告。