什么叫元数学?

来源：百度知道 编辑：UC知道 时间：2024/05/18 00:12:22

元数学包括形式体系的描述或定义,以及关于形式体系的性质的研究,它把整个形式体系当作数学研究的对象。采用有穷性方法进行研究，是有关数理逻辑方面的科学.

就是证明论