用户:U3Vzc3liYWth：修订间差异

2025年8月25日 (一) 23:04的版本

果糕的页面。

$𝐋_{a} ≺ 𝐋_{a + 1} ⟹ a is Π_{0}^{1} - Reflecting$

2025年8月25日 (一) 23:03的版本查看源代码 U3Vzc3liYWth（留言 \| 贡献） 14次编辑小无编辑摘要标签：可视化编辑 ←上一编辑		2025年8月25日 (一) 23:04的版本查看源代码 U3Vzc3liYWth（留言 \| 贡献） 14次编辑小无编辑摘要标签：可视化编辑下一编辑→
第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>