1. 集论语言及扩展


我们先引入讨论所引用的语境.

取自 “https://www.bananaspace.org/w/index.php?title=讲义:集合论进阶_A._公理集合论基础_(OperatorP)/集论语言及扩展&oldid=26318”