张雨绮 美人鱼爆乳装:什么叫元数学?

来源:百度文库 编辑:高校问答 时间:2024/05/06 12:09:25

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

就是证明论