基础数学论文

形式Peano算术的Gdel不完备定理的一个简单证明

一、形式Peano算术的Gdel不完备性定理的一个简单证明（论文文献综述）程传虎[1]（2021）在《基于上下文感知的定理自动化证明方法研究》文中提出软件安全一直以来备受人们...
探索一类溶出问题的逻辑根

一、探究一类丢解问题的逻辑根源（论文文献综述）张佩荣[1]（2021）在《形下关切与形上追问的通贯：老子“道德之意”的探析》文中研究表明“着书上下篇,言道德之意五千余言”的老子...