第二章 推理与证实
2.2　直接证实与间接证实2.2.2　反证法

不成立
假设错误
原命题成立
已知条件
假设
定义
定理
公理
事实