一、形式主义原则:所有符号完全看做没有意义的内容，即使将符号、公式或证明的任何有意的意义或可能的解释也不管，而只是把它们看作纯粹的形式对象，研究它们的结构性质;二、有限主义原则，即总能在有限机械步骤之内验证形式理论之内一串公式是否一个证明。应用数学方法于这样一个形式理论，避免涉及无穷的推断，这就排除了康托尔集合论的方法。这个思想是只应用靠得住的方法，因为要证明数学或其一部分无矛盾的方法是大家公认可靠的，整个数学才有牢固的基础。一般认为形式主义的奠基人是希尔伯特，但是希尔伯特自己并不自命为形式主义者。并且，希尔伯特的思想有一个发展变化的过程，我们简单地介绍一下。希尔伯特是二十世纪最有影响的数学家