高校问答是一部内容开放、自由的互动网络百科全书客观、专业、权威的知识性百科全书
来源:百度文库 编辑:高校问答 时间:2024/05/06 12:09:25
元数学包括形式体系的描述或定义,以及关于形式体系的性质的研究,它把整个形式体系当作数学研究的对象。采用有穷性方法进行研究,是有关数理逻辑方面的科学.
就是证明论