7.4. 无穷逻辑及其语义


需补充.

取自 “https://www.bananaspace.org/w/index.php?title=讲义:集合论进阶_A._公理集合论基础_(OperatorP)/KP与可计算性/无穷逻辑及其语义&oldid=26342”