数学家、数理逻辑先驱（）写了一部名为《算术基础》的专著，内容是构建以集合论作为整个算术的基础。