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