基本解释超算術同根派生 hyperarithmetic相关词英汉例句hyperarithmetic set 超算術集hyperarithmetic predicate 超算術謂詞hyperarithmetic更多例句