存在两种数学家，一种研究数学化，另一种研究数学。前者做的是符号化的工作，在于廓清论域、提出问题；而后者做的是符号系统的演绎工作，在于解决问题。前者相当于哲学家，后者相当于工程师。