什么什么公理共查询到2个什么什么公理成语