形式化体系相关硕士博士期刊学术论文

元数学是一门数理逻辑方面的学科。其主要研究对象是数学本身的矛盾性问题。但是，由于元数学的研究空间是在一个形式化的体系中。因......