2. 一阶逻辑


我们现在给出对学习集合论所必要的一阶逻辑内容.

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