关于数理逻辑学习的体会

    短暂几天的学习，让我产生如下体会：    

    首先，相对于传统的逻辑学，数理逻辑更加抽象，学习数理逻辑需要依赖逻辑本身，而不是生活常识，也不是传统逻辑学的规律。也就是说，学习数理逻辑应当抛弃部分知识，从“零”开始的学习历程。

    其次，数理逻辑很强调严谨性，尤其在证明过程中要有理有据，其根据或是公理，又或是通过分离规则得到的结论，也可以是已证明的结论。其证明仿佛是内生的数学发展的缩影。

    再次，不论是逻辑学还是数理逻辑，都包含思维规律和概念推导的内容，通过学习数理逻辑有助于锻炼我们的逻辑思维能力，但我们不应该拘泥于数理逻辑的形式证明，毕竟数理逻辑仅仅是一种理念，我们需要的是解决实际问题的能力，对其的灵活运用更为重要。数理逻辑的学习有利于增强数学思维能力，提高科学思维能力，同时也基本见证了思维逻辑科学的发展历程。

    最后，我感受到数理逻辑学习的最大难度是对符号和内定理的掌握，数理逻辑不像其他数学分支研究的前沿内容，主要是对内生系统定理的建立和完善，关键在于脚踏实地的掌握。