黄铜扳手的图书馆

👋欢迎来到黄铜扳手的图书馆

科学数学元数学集合论 ZFC公理集合论系统草稿

集合论(2)：公理集合论系统的逻辑定理

公里集合系统中与逻辑有关的定理

科学数学元数学集合论 ZFC公理集合论系统草稿

集合论(3)：公理集合论系统的形式化定义

在形式系统角度下构建ZFC公理系统

科学数学元数学集合论 ZFC公理集合论系统

集合论(1)：集合论发展简史

集合论发展简史

科学数学元数学非形式化数理逻辑一阶谓词逻辑演算形式系统草稿

非形式化数理逻辑(21)：一阶谓词逻辑演算形式系统的定理(量词第二部分)

一阶谓词逻辑演算形式系统关于量词的常用定理第二部分

科学数学元数学非形式化数理逻辑命题逻辑演算形式系统

非形式化数理逻辑(15)：命题逻辑演算形式系统的性质定理

关于命题逻辑演算形式系统本身的性质定理