用于逻辑证明的方法，出现《逻辑学》和《数学》里。常见的证明方法有综合法、分析法、反证法、归纳法、类比法等。