搜索结果: 1-1 共查到“数理逻辑与数学基础 first-order reflections”相关记录1条 . 查询时间(0.062 秒)
The set theory KP$\Pi_{N+1}$ for $\Pi_{N+1}$-reflecting universes is shown to be $\Pi_{N+1}$-conservative over iterations of $\Pi_{N}$-recursively Mahlo operations for each $N\geq 2$.