形式主义者认为纯数学是“符号形式结构的科学”。卡尔纳普说：形式主义的观点是正确的，它认为系统的构建可以不考虑符号的意义、纯粹形式地实现。