§3命题演算的形式证明 个数学系统通常由一些描述系统特 有性质的陈述句所确定,这些陈述句 称为/没 系统的其它性质的证明,由一组陈述 句组成,其中最后的陈述句描述所期 望的性质,而中间的陈述句总是由它 前面的陈述句通过系统所允许的方法 推得。§3 命题演算的形式证明 一个数学系统通常由一些描述系统特 有性质的陈述句所确定，这些陈述句 称为假设， 系统的其它性质的证明，由一组陈述 句组成，其中最后的陈述句描述所期 望的性质，而中间的陈述句总是由它 前面的陈述句通过系统所允许的方法 推得