基本解釋超算術同根派生 hyperarithmetic相關詞英漢例句hyperarithmetic set 超算術集hyperarithmetic predicate 超算術謂詞hyperarithmetic更多例句