extra-metamathematics的意思|示意
美 / 'ekstrəmetəmæθəm'ætɪks /
英 / 'ekstrəmetəmæθəm'ætɪks /
附加元数学