数学,一个证明是一系列陈述以这样的方式排序,以表明某物是真的没有例外。有很多多年来的证据(最值得注意的是,费马最后定理1=2),但也有新的对的最近的证据(再次,费马的最后一个定理).

一些最初的证据是由欧几里得和交易欧几里德几何其他早期定理包括勾股定理中国剩余定理尽管许多“旧”定理直到最近才得到令人满意的证明。

大多数数学证明都基于逻辑并依赖于含义第页,反向第页,匡威s和反阳性s.通常,最理想的含义是若(iff)声明。每一个证据都必须建立在公理s或定义s、 无法通过任何方式证明但可以假定d是真的。事实,公理可以改变,但仍可以有逻辑一致性在许多情况下;比较 欧几里得的 几何学具有非欧几里德几何和他们的基本的但是相互排斥的公理:“平行 线s永不相交“;”平行线相交于无穷".
这里有证据的一些项目:
请和其他人一起给我发短信。