数学推理

引言数学研究的是数学结构的性质。本文将研究数学推理,这种推理是用以证明这些性质的方法。数学结构用一套公理来定义。根据定义,公理说的是关于某个数学结构的性质的真语句。其他可由公理的真实性推得的真断语,称之为定理。定理的证明乃是确立该定理对于某一特定数学结构为真的论证,而论证往往呈现为一系列的断语,每一断语或则是数学结构的公理,或则是前述定理,或则是证明的前一步所获得的逻辑推论。因此。