基本解釋超算術(shù)同根派生 hyperarithmetic相關(guān)詞英漢例句hyperarithmetic set 超算術(shù)集hyperarithmetic predicate 超算術(shù)謂詞hyperarithmetic更多例句