形式主义 (数学哲学) 在数学哲学中形式主义是一个在十九世纪末到二十世纪初由大卫希尔伯特等数学家与哲学家发展出的重要数学哲学理论 形式主义者的中心思想是数学并非是一门致力于描述现实世界的科学而是更接近于一种使用既定规则对一组初始字符串进行操作来产生更多字符串的文字游戏形式主义通常认为比起化学和物理等科学数学其实更接近于卢多或象棋之类的游戏 根据形式主义数学命题描述的不是数字集合三角形或任何其他的数学对象事实上它们根本不描述任何东西相反数学命题只是无意义的遵从数学语法的句子必须要由其他人给出解释之后才有意义形式主义与其他数学哲学理论相左包括数学实在论逻辑主义或和直觉主义