数学推理与证明
数学推理与证明把“看起来成立”的观察变成在明确条件下必然成立的结论。发现规律时可以计算、画图、类比；写证明时，每一步都要指出从哪些定义、前提或已证结论推出了什么。结果越简洁，越要核对它省略了哪些条件。
一句结论怎样变成证明
例如有人观察 、，猜“奇数的平方仍是奇数”。两个例子只能提示方向。把命题写成“对任意整数 ，若 为奇数，则 为奇数”，范围和前提才清楚。由奇数的定义，存在整数 使 ；于是 括号里是整数，末式符合奇数定义。这一证明没有检查所有整数，却通过任意的 覆盖了所有奇数。
一条从语言到体系的路线
- 数学概念与定义：固定对象和使用条件，识别“仅充分”与“真正等价”。
- 数学命题：把开放语句、量词、条件和否定写准；经典逻辑的三条基本律说明同一含义、矛盾与排中所依赖的逻辑背景。
- 演绎推理与三段论：检查从前提到结论的形式是否有效；归纳推理与类比推理说明怎样发现候选规律，以及它们为什么仍需证明。
- 直接证明与逆否证明处理适合展开定义的条件句；反证法在否定后找冲突；数学归纳法利用整数的起点和传递步骤。
- 反例与命题的边界试去掉或改动一个前提；公理化方法说明整套证明从哪些共同起点出发。
这些方法不是固定的“先做哪三步”流程。给定一条新命题，可以先试着举最小的例子寻找反例；若未失败，就写出对象范围和目标的准确否定。要证“任意 ”便任选一个满足前提的 ；要证“存在 ”便构造一个见证；要证“当且仅当”就分别完成两个方向。图形可帮忙找到辅助线和结构，却不能替代这些证明责任。
检查一份证明
遮住结论，逐行问：这一步使用的是定义、公理还是上一行？新引入的量是否仍在声明的集合里？某条等式是否只对非零分母成立？举过几个例子后有没有突然写“所以所有情况”？如果结果是假，反例与命题的边界给具体失败对象；如果证明已完成，反过来尝试删掉一项前提，看看论证在哪里断裂。这样检查比只问“文字是否流畅”更能定位数学错误。