1. 朴素逻辑


本章将在元语言环境下建造经典一阶逻辑的语法结构, 以为将来的一切工作的基础.

取自 “https://www.bananaspace.org/w/index.php?title=讲义:集合论基础_(OperatorP)/朴素逻辑&oldid=26448”