U3Vzc3liYWth(留言 | 贡献) 创建页面,内容为“果糕的页面。 <math>\mathbf{L}_a \prec \mathbf{L}_{a+1} \Longrightarrow a\textbf{\ is\ }\Pi^1_0\textbf{-Reflecting}</math>” |
U3Vzc3liYWth(留言 | 贡献) 小 清空全部内容 标签:清空 |
||
(未显示同一用户的8个中间版本) | |||
第1行: | 第1行: | ||
创建页面,内容为“果糕的页面。 <math>\mathbf{L}_a \prec \mathbf{L}_{a+1} \Longrightarrow a\textbf{\ is\ }\Pi^1_0\textbf{-Reflecting}</math>” |
小 清空全部内容 标签:清空 |
||
(未显示同一用户的8个中间版本) | |||
第1行: | 第1行: | ||