万平 李娜

经典逻辑 代换公理 限制大小 宗教信仰 表达力 框架 固定点 能力 互模拟 P-态射 量化 结构 大学生 潜在 归约能力 类 并发系统 马克思主义信仰 加标转换系统 广义量词 集合 结构打开 矛盾律 模态等价 比较 模态逻辑 叠置 正确认识 素质 幂集公理

南开大学哲学系