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