附加元数学的的英文翻译
中文:附加元数学的
英文翻译:【计】 extra-metamathematical