纯数学是逻辑的一个分支。《数学的本质》(1933)（路易·库蒂拉）