反证法是数学证明强有力的方式，为什么它是有效的，你怎么证明这个证明方法本身是正确的？ 先大致说一下：考察证明方法的领域一般都在现代逻辑学中。逻辑学一般包括命题逻辑、词项逻辑和谓词逻辑。它们的层次是不同：命题逻辑是最大的层次，后两个都是它的细致化，词项逻辑好...