数理逻辑

吴语维基百科,自由个百科全书
跳到导航 跳到搜索

数理逻辑(英:Mathematical logic)是数学个一个分支,渠个研究对象是对证明搭计算迭两个直观概念进行符号化以后个形式系统。数理逻辑是数学基础个一个弗可缺少个组成部分。