• 2021-04-14
    中国大学MOOC:数学家、数理逻辑先驱_________写了一部名为《算术基础》的专著,内容是构建以集合论作为整个算术的基础。