逻辑数学

逻辑数学是研讨包括无穷观在内的数学基础问题，“数学基础”是20世纪上半叶所诞生的一个数学分支学科，该学科专门研究如何为古今种种数学系统奠定其理论基础的问题，或者说如何为种种数学系统奠定其逻辑基础的问题，本书内容的核心主题是研讨无穷观问题，而无穷观问题的研究和争论不仅由来久远，而且广泛涉及数学、计算机科学、逻辑学和哲学等众多领域。

逻辑数学：通过一定的规则和符号，按照相应的规则进行变换，得到相应的符号，实质为符号的变换！