也适合数理逻辑课的比较次序 大小 量等的知识点