extra-metamathematics

英 ['ekstrəmetəmæθəm'ætɪks] 美 ['ekstrəmetəmæθəm'ætɪks]

• [计] 附加元数学