数理逻辑 - 小百科

小百科

百科知识指南

全部

元数学

https://baike.baidu.com/item/%E5%85%83%E6%95%B0%E5%AD%A6/5558202

谦和的西红柿 · 数理逻辑数学 · 2 月前

元数学是一门数理逻辑方面的学科，其主要研究对象是数学本身的矛盾性问题。元数学研究的是数理逻辑方面的问题。作为一门科学来说，数理逻辑从19世纪中叶就开始存在了。在这;...