rational metamathematics的意思|示意
美 / ˈræʃənl ˌmetəˌmæθiˈmætiks /
英 / ˈræʃənəl ˌmɛtəˌmæθəˈmætɪks /
理性元数学