反证法的逻辑原理及其在模型论中的应用

系统地介绍了反证法的逻辑原理、种类而模型论是一门理论性很强的学科，模型论中很多命题和定理用直接证明的方法去证明会有一定的困难，如果用反证法将比较容易求证。