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