◆采用两个方法 些在任何数学证明中公认允许采用 的陈述句,把它们形式化地表述成若 干特殊的命题,这些命题可在证明的 任何一步引入,这些命题被称为公理; ◆另一个采用的方法是由若干规则构成, 这些规则规定:从某些陈述导出某些 特定陈述是可接受的,这些规则在形 式化之后,称为系统的推理规则。 采用两个方法：  一些在任何数学证明中公认允许采用 的陈述句，把它们形式化地表述成若 干特殊的命题，这些命题可在证明的 任何一步引入，这些命题被称为公理；  另一个采用的方法是由若干规则构成， 这些规则规定：从某些陈述导出某些 特定陈述是可接受的，这些规则在形 式化之后，称为系统的推理规则