methodology of reasoning and proof
由于今天和Z有对这件印刷品真伪讨论，突然想到整理下和方法论相关的推理和证明。
- 虽然数学归纳法名字中有“归纳”，但是数学归纳法并非不严谨的归纳推理法，它属于完全严谨的演绎推理法。所有的数学证明都是演绎法。
- 凌海燕频道
- 略谈国内高中数学所谓分析法和综合法
下文的层级皆是包含的意思，如演绎推理含假设推理和矛盾推理，但可能还有其他的推理方式。
推理
- 归纳推理（大部分收藏品真伪鉴定逻辑）
- 类比推理
- 演绎推理（数学证明的过程）
- 假设推理
- 矛盾推理
证明
- 分析法
- 反证法
- 综合法
- 归纳法
- 穷举法
