用户:U3Vzc3liYWth：修订间差异

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

果糕的页面。

$𝐋_{a} ≺ 𝐋_{a + 1} ⟹ a$ 是 $Π_{0}^{1}$ -反射。

2025年8月25日 (一) 23:04的版本查看源代码 U3Vzc3liYWth（留言 \| 贡献） 14次编辑小无编辑摘要标签：可视化编辑 ←上一编辑		2025年8月25日 (一) 23:06的版本查看源代码 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</math> 是 <math>\Pi^1_0</math>-反射。