U3Vzc3liYWth（留言 | 贡献） 创建页面，内容为“果糕的页面。 <math>\mathbf{L}_a \prec \mathbf{L}_{a+1} \Longrightarrow a\textbf{\ is\ }\Pi^1_0\textbf{-Reflecting}</math>” |
U3Vzc3liYWth（留言 | 贡献） 小无编辑摘要 |
||
| 第1行： | 第1行： | ||
果糕的页面。 | 果糕的页面。 | ||
<math>\mathbf{L}_a \prec \mathbf{L}_{a+1} \Longrightarrow a\textbf{ | <math>\mathbf{L}_a \prec \mathbf{L}_{a+1} \Longrightarrow a\ \textbf{is}\ \Pi^1_0\textbf{-Reflecting}</math> | ||
2025年8月25日 (一) 23:02的版本
果糕的页面。