纯数学是一门我们不知正在谈论的是什么，或者不知所谈的是否为真的一门学科。