SGH与FGH对照 - 版本历史

Tabelog：文字替换 -“Veblen 函数”替换为“Veblen 函数”

2025-08-25T05:28:26Z

←上一版本		2025年8月25日 (一) 13:28的版本
第1行：		第1行：
	本条目展示 [[SGH]] 与 [[FGH]] 的对照，使用 [[~~Veblen函数\|~~Veblen 函数]]和 [[序数坍缩函数#MOCF\|MOCF]]。本条目分析来自梅天狸。		本条目展示 [[SGH]] 与 [[FGH]] 的对照，使用 [[Veblen 函数]]和 [[序数坍缩函数#MOCF\|MOCF]]。本条目分析来自梅天狸。

	=== Part 1 ===		=== Part 1 ===

Tabelog：修改格式

2025-08-24T10:08:52Z

修改格式

显示更改

2025年8月24日 (日) 03:53 Z

2025-08-24T03:53:03Z

←上一版本		2025年8月24日 (日) 11:53的版本
第1行：		第1行：
	本条目展示[[SGH]]与[[FGH]]的对照.本文使用[[Veblen函数]]和[[序数坍缩函数#MOCF\|MOCF]]		本条目展示[[SGH]]与[[FGH]]的对照.本文使用[[Veblen函数]]和[[序数坍缩函数#MOCF\|MOCF]]。本条目分析来自梅天狸

	<math>g_{\varepsilon_0\times2}(n)=g_{\varepsilon_0+\varepsilon_0[n]}(n)=(n\uparrow\uparrow n)\times2</math>		<math>g_{\varepsilon_0\times2}(n)=g_{\varepsilon_0+\varepsilon_0[n]}(n)=(n\uparrow\uparrow n)\times2</math>

2025年8月21日 (四) 01:32 Z

2025-08-21T01:32:16Z

显示更改

2025年8月21日 (四) 01:31 Z

2025-08-21T01:31:27Z

←上一版本		2025年8月21日 (四) 09:31的版本
第10行：		第10行：
	<nowiki>\begin{align} & f_3(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+1)\\&f_4(f_{\omega+1}(n))=f_3^{f_{\omega+1}(n)}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\psi(\Omega^\Omega))\\&f_4^n(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega)\\&f_5^n(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^2)\\&f_n(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^\omega)\\&f_{n+1}^n(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^{\omega+1})\\&f_{f_3(n)}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^{\psi(0)})\\&f_{f_\omega(n)}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\omega)})\\&f_\omega(f_{\omega+1}(n))=f_{f_{\omega+1}(n)}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)})=\varphi(\varphi(1,0,0),1)\\&f_{f_{\omega+1}(n)}(f_{\omega}(f_{\omega+1}(n)))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)}\times2)\\&f_{f_{\omega+1}(n)+1}^n(f_{\omega}(f_{\omega+1}(n)))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)+1})\\&f_{f_3(f_{\omega+1}(n))}(f_{\omega}(f_{\omega+1}(n)))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+1)})\\&f_{f_n(f_{\omega+1}(n))}(f_{\omega}(f_{\omega+1}(n)))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+\Omega^\omega)})\\&f_\omega^2(f_{\omega+1}(n))=f_{f_\omega(f_{\omega+1}(n))}(f_{\omega}(f_{\omega+1}(n)))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)})})\\&f_\omega^n(f_{\omega+1}(n))\sim\psi(\Omega^\Omega\times2)=\varphi(1,0,1)\\&f_\omega^{n\times2}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega\times3)\\&f_{\omega+1}^2(n)=f_\omega^{f_{\omega+1}(n)}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega))\\&f_\omega^n(f_{\omega+1}^2(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega)+\Omega^\Omega)\\&f_\omega^{f_{\omega+1}(n)}(f_{\omega+1}^2(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega)\times2)\\&f_\omega^{f_n(f_{\omega+1}(n))}(f_{\omega+1}^2(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega+\Omega^\omega))\\&f_\omega^{f_\omega(f_{\omega+1}(n))}(f_{\omega+1}^2(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)}))\\&f_\omega^{f_\omega^n(f_{\omega+1}(n))}(f_{\omega+1}^2(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega\times2))\\&f_{\omega+1}^3(n)\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega\times\psi(\Omega^\Omega)))\\&f_{\omega+2}(n)=f_{\omega+1}^n(n)\sim\psi(\Omega^{\Omega+1})=\varphi(1,1,0)\\&f_\omega(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}+\Omega^{\psi(\Omega^{\Omega+1})})\\&f_\omega^n(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega})\\&f_\omega^{n\times2}(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega}\times2)\\&f_{\omega+1}(f_{\omega+2}(n))=f_\omega^{f_{\omega+2}(n)}(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega}\times\psi(\Omega^{\Omega+1}))\\&f_\omega^{f_{\omega+2}(n)}(f_{\omega+1}(f_{\omega+2}(n)))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega}\times\psi(\Omega^{\Omega+1})\times2)\\&f_\omega^{f_\omega^n(f_{\omega+2}(n))}(f_{\omega+1}(f_{\omega+2}(n)))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega}\times\psi(\Omega^{\Omega+1}+\Omega^\Omega))\\&f_{\omega+1}^2(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega}\times\psi(\Omega^{\Omega+1}+\Omega^\Omega\times\psi(\Omega^{\Omega+1})))\\&f_{\omega+1}^n(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}\times2)\\&f_{\omega+2}^2(n)\sim\psi(\Omega^{\Omega+1}\times\psi(\Omega^{\Omega+1}))\\&f_{\omega+3}(n)=f_{\omega+2}^n(n)\sim\psi(\Omega^{\Omega+2})\\&f_{\omega+4}(n)\sim\psi(\Omega^{\Omega+3})\\&f_{\omega\times2}(n)=f_{\omega+n}(n)\sim\psi(\Omega^{\Omega+\omega})\\&f_\omega(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}+\Omega^{\psi(\Omega^{\Omega+\omega})})\\&f_\omega^n(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}+\Omega^\Omega)\\&f_{\omega+1}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}+\Omega^\Omega\times\psi(\Omega^{\Omega+\omega}))\\&f_{\omega+1}^n(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}+\Omega^{\Omega+1})\\&f_{\omega+2}^n(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}+\Omega^{\Omega+2})\\&f_{\omega+n}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}\times2)\\&f_{\omega+n+1}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}\times\psi(\Omega^{\Omega+\omega}))\\&f_{\omega+n+1}^n(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega+1})\\&f_{\omega+n\times2}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega\times2})\\&f_{\omega+f_{\omega+1}(n)}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\psi(\Omega^\Omega)})\\&f_{\omega+f_{\omega+2}(n)}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+1})})\\&f_{\omega\times2}^2(n)=f_{\omega+f_{\omega+n}(n)}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+\omega})})\\&f_{\omega\times2}^3(n)\sim\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+\omega})})})\\&f_{\omega\times2+1}(n)\sim\psi(\Omega^{\Omega\times2})\\&f_\omega^{n}(f_{\omega\times2+1}(n))\sim\psi(\Omega^{\Omega\times2}+\Omega^\Omega)\\&f_{\omega\times2}^{n}(f_{\omega\times2+1}(n))\sim\psi(\Omega^{\Omega\times2}\times2)\\&f_{\omega\times2+1}^2(n)\sim\psi(\Omega^{\Omega\times2}\times\psi(\Omega^{\Omega\times2}))\\&f_{\omega\times2+2}(n)\sim\psi(\Omega^{\Omega\times2+1})\\&f_{\omega\times3}(n)\sim\psi(\Omega^{\Omega\times2+\omega})\\&f_{\omega\times3}^2(n)\sim\psi(\Omega^{\Omega\times2+\psi(\Omega^{\Omega\times2+\omega})})\\&f_{\omega\times3+1}(n)\sim\psi(\Omega^{\Omega\times3})\\&f_{\omega\times4}(n)\sim\psi(\Omega^{\Omega\times3+\omega})\\&f_{\omega\times4+1}(n)\sim\psi(\Omega^{\Omega\times4})\\&f_{\omega^2}(n)\sim\psi(\Omega^{\Omega\times\omega})=\varphi(\omega,0,0)\\&f_{\omega}^n(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega}+\Omega^\Omega)\\&f_{\omega\times2}^n(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega}+\Omega^{\Omega\times2})\\&f_{\omega\times n}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega}\times2)\\&f_{\omega\times n+1}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega}\times\psi(\Omega^{\Omega\times\omega}))\\&f_{\omega\times n+1}^n(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+1})\\&f_{\omega\times n+2}^n(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+2})\\&f_{\omega\times n+n}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+\omega})\\&f_{\omega\times n+f_{\omega^2}(n)}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+\psi(\Omega^{\Omega\times\omega})})\\&f_{\omega\times n+\omega}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+\Omega})\\&f_{\omega\times n+\omega\times2}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+\Omega\times2})\\&f_{\omega\times n\times2}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega\times2})\\&f_{\omega^2}^2(n)=f_{\omega\times f_{\omega^2}(n)}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\psi(\Omega^{\Omega\times\omega})})\\&f_{\omega^2}^3(n)\sim\psi(\Omega^{\Omega\times\psi(\Omega^{\Omega\times\psi(\Omega^{\Omega\times\omega})})})\\&f_{\omega^2+1}(n)\sim\psi(\Omega^{\Omega^2})=\varphi(1,0,0,0)\\&f_\omega^n(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}+\Omega^\Omega)\\&f_{\omega\times2}^n(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}+\Omega^{\Omega\times2})\\&f_{\omega\times n}(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}+\Omega^{\Omega\times\omega})\\&f_{\omega^2}(f_{\omega^2+1}(n))=f_{\omega\times f_{\omega^2+1}(n)}(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}+\Omega^{\Omega\times{\psi(\Omega^{\Omega^2})}})=\varphi(\varphi(1,0,0,0),0,1)\\&f_{\omega^2}^2(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}+\Omega^{\Omega\times\psi(\Omega^{\Omega^2}+\Omega^{\Omega\times\psi(\Omega^{\Omega^2})})})\\&f_{\omega^2}^n(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}\times2)\\&f_{\omega^2+1}^2(n)\sim\psi(\Omega^{\Omega^2}\times\psi(\Omega^{\Omega^2}))\\&f_{\omega^2+2}(n)\sim\psi(\Omega^{\Omega^2+1})\\&f_{\omega^2+\omega}(n)\sim\psi(\Omega^{\Omega^2+\omega})\\&f_{\omega^2+\omega+1}(n)\sim\psi(\Omega^{\Omega^2+\Omega})\\&f_{\omega^2+\omega+2}(n)\sim\psi(\Omega^{\Omega^2+\Omega+1})\\&f_{\omega^2+\omega\times2+1}(n)\sim\psi(\Omega^{\Omega^2+\Omega\times2})\\&f_{\omega^2\times2}(n)\sim\psi(\Omega^{\Omega^2+\Omega\times\omega})\\&f_{\omega^2\times2+1}(n)\sim\psi(\Omega^{\Omega^2\times2})\\&f_{\omega^2\times3+1}(n)\sim\psi(\Omega^{\Omega^2\times3})\\&f_{\omega^3}(n)\sim\psi(\Omega^{\Omega^2\times\omega})\\&f_{\omega^2\times n}(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega}\times2)\\&f_{\omega^2\times n+1}^n(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+1})\\&f_{\omega^2\times n+n}(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+\omega})\\&f_{\omega^2\times n+\omega}(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+\psi(\Omega^{\Omega^2\times\omega})})\\&f_{\omega^2\times n+\omega}^n(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+\Omega})\\&f_{\omega^2\times n+\omega\times n}(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+\Omega\times\omega})\\&f_{\omega^2\times n+\omega^2}^n(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+\Omega^2})\\&f_{\omega^2\times n\times2}(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega\times2})\\&f_{\omega^3}^2(n)\sim\psi(\Omega^{\Omega^2\times\psi(\Omega^{\Omega^2})})\\&f_{\omega^3+1}(n)\sim\psi(\Omega^{\Omega^3})\\&f_{\omega^3+2}(n)\sim\psi(\Omega^{\Omega^3+1})\\&f_{\omega^3+\omega+1}(n)\sim\psi(\Omega^{\Omega^3+\Omega})\\&f_{\omega^3+\omega^2+1}(n)\sim\psi(\Omega^{\Omega^3+\Omega^2})\\&f_{\omega^3\times2+1}(n)\sim\psi(\Omega^{\Omega^3\times2})\\&f_{\omega^4}(n)\sim\psi(\Omega^{\Omega^3\times\omega})\\&f_{\omega^4+1}(n)\sim\psi(\Omega^{\Omega^4})\\&f_{\omega^\omega}(n)\sim\psi(\Omega^{\Omega^\omega})=\varphi(1@\omega)\\ \end{align}</nowiki>		<nowiki>\begin{align} & f_3(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+1)\\&f_4(f_{\omega+1}(n))=f_3^{f_{\omega+1}(n)}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\psi(\Omega^\Omega))\\&f_4^n(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega)\\&f_5^n(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^2)\\&f_n(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^\omega)\\&f_{n+1}^n(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^{\omega+1})\\&f_{f_3(n)}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^{\psi(0)})\\&f_{f_\omega(n)}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\omega)})\\&f_\omega(f_{\omega+1}(n))=f_{f_{\omega+1}(n)}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)})=\varphi(\varphi(1,0,0),1)\\&f_{f_{\omega+1}(n)}(f_{\omega}(f_{\omega+1}(n)))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)}\times2)\\&f_{f_{\omega+1}(n)+1}^n(f_{\omega}(f_{\omega+1}(n)))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)+1})\\&f_{f_3(f_{\omega+1}(n))}(f_{\omega}(f_{\omega+1}(n)))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+1)})\\&f_{f_n(f_{\omega+1}(n))}(f_{\omega}(f_{\omega+1}(n)))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+\Omega^\omega)})\\&f_\omega^2(f_{\omega+1}(n))=f_{f_\omega(f_{\omega+1}(n))}(f_{\omega}(f_{\omega+1}(n)))\sim\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)})})\\&f_\omega^n(f_{\omega+1}(n))\sim\psi(\Omega^\Omega\times2)=\varphi(1,0,1)\\&f_\omega^{n\times2}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega\times3)\\&f_{\omega+1}^2(n)=f_\omega^{f_{\omega+1}(n)}(f_{\omega+1}(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega))\\&f_\omega^n(f_{\omega+1}^2(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega)+\Omega^\Omega)\\&f_\omega^{f_{\omega+1}(n)}(f_{\omega+1}^2(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega)\times2)\\&f_\omega^{f_n(f_{\omega+1}(n))}(f_{\omega+1}^2(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega+\Omega^\omega))\\&f_\omega^{f_\omega(f_{\omega+1}(n))}(f_{\omega+1}^2(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)}))\\&f_\omega^{f_\omega^n(f_{\omega+1}(n))}(f_{\omega+1}^2(n))\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega\times2))\\&f_{\omega+1}^3(n)\sim\psi(\Omega^\Omega\times\psi(\Omega^\Omega\times\psi(\Omega^\Omega)))\\&f_{\omega+2}(n)=f_{\omega+1}^n(n)\sim\psi(\Omega^{\Omega+1})=\varphi(1,1,0)\\&f_\omega(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}+\Omega^{\psi(\Omega^{\Omega+1})})\\&f_\omega^n(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega})\\&f_\omega^{n\times2}(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega}\times2)\\&f_{\omega+1}(f_{\omega+2}(n))=f_\omega^{f_{\omega+2}(n)}(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega}\times\psi(\Omega^{\Omega+1}))\\&f_\omega^{f_{\omega+2}(n)}(f_{\omega+1}(f_{\omega+2}(n)))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega}\times\psi(\Omega^{\Omega+1})\times2)\\&f_\omega^{f_\omega^n(f_{\omega+2}(n))}(f_{\omega+1}(f_{\omega+2}(n)))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega}\times\psi(\Omega^{\Omega+1}+\Omega^\Omega))\\&f_{\omega+1}^2(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}+\Omega^{\Omega}\times\psi(\Omega^{\Omega+1}+\Omega^\Omega\times\psi(\Omega^{\Omega+1})))\\&f_{\omega+1}^n(f_{\omega+2}(n))\sim\psi(\Omega^{\Omega+1}\times2)\\&f_{\omega+2}^2(n)\sim\psi(\Omega^{\Omega+1}\times\psi(\Omega^{\Omega+1}))\\&f_{\omega+3}(n)=f_{\omega+2}^n(n)\sim\psi(\Omega^{\Omega+2})\\&f_{\omega+4}(n)\sim\psi(\Omega^{\Omega+3})\\&f_{\omega\times2}(n)=f_{\omega+n}(n)\sim\psi(\Omega^{\Omega+\omega})\\&f_\omega(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}+\Omega^{\psi(\Omega^{\Omega+\omega})})\\&f_\omega^n(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}+\Omega^\Omega)\\&f_{\omega+1}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}+\Omega^\Omega\times\psi(\Omega^{\Omega+\omega}))\\&f_{\omega+1}^n(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}+\Omega^{\Omega+1})\\&f_{\omega+2}^n(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}+\Omega^{\Omega+2})\\&f_{\omega+n}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}\times2)\\&f_{\omega+n+1}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega}\times\psi(\Omega^{\Omega+\omega}))\\&f_{\omega+n+1}^n(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega+1})\\&f_{\omega+n\times2}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\omega\times2})\\&f_{\omega+f_{\omega+1}(n)}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\psi(\Omega^\Omega)})\\&f_{\omega+f_{\omega+2}(n)}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+1})})\\&f_{\omega\times2}^2(n)=f_{\omega+f_{\omega+n}(n)}(f_{\omega\times2}(n))\sim\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+\omega})})\\&f_{\omega\times2}^3(n)\sim\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+\omega})})})\\&f_{\omega\times2+1}(n)\sim\psi(\Omega^{\Omega\times2})\\&f_\omega^{n}(f_{\omega\times2+1}(n))\sim\psi(\Omega^{\Omega\times2}+\Omega^\Omega)\\&f_{\omega\times2}^{n}(f_{\omega\times2+1}(n))\sim\psi(\Omega^{\Omega\times2}\times2)\\&f_{\omega\times2+1}^2(n)\sim\psi(\Omega^{\Omega\times2}\times\psi(\Omega^{\Omega\times2}))\\&f_{\omega\times2+2}(n)\sim\psi(\Omega^{\Omega\times2+1})\\&f_{\omega\times3}(n)\sim\psi(\Omega^{\Omega\times2+\omega})\\&f_{\omega\times3}^2(n)\sim\psi(\Omega^{\Omega\times2+\psi(\Omega^{\Omega\times2+\omega})})\\&f_{\omega\times3+1}(n)\sim\psi(\Omega^{\Omega\times3})\\&f_{\omega\times4}(n)\sim\psi(\Omega^{\Omega\times3+\omega})\\&f_{\omega\times4+1}(n)\sim\psi(\Omega^{\Omega\times4})\\&f_{\omega^2}(n)\sim\psi(\Omega^{\Omega\times\omega})=\varphi(\omega,0,0)\\&f_{\omega}^n(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega}+\Omega^\Omega)\\&f_{\omega\times2}^n(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega}+\Omega^{\Omega\times2})\\&f_{\omega\times n}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega}\times2)\\&f_{\omega\times n+1}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega}\times\psi(\Omega^{\Omega\times\omega}))\\&f_{\omega\times n+1}^n(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+1})\\&f_{\omega\times n+2}^n(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+2})\\&f_{\omega\times n+n}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+\omega})\\&f_{\omega\times n+f_{\omega^2}(n)}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+\psi(\Omega^{\Omega\times\omega})})\\&f_{\omega\times n+\omega}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+\Omega})\\&f_{\omega\times n+\omega\times2}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega+\Omega\times2})\\&f_{\omega\times n\times2}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\omega\times2})\\&f_{\omega^2}^2(n)=f_{\omega\times f_{\omega^2}(n)}(f_{\omega^2}(n))\sim\psi(\Omega^{\Omega\times\psi(\Omega^{\Omega\times\omega})})\\&f_{\omega^2}^3(n)\sim\psi(\Omega^{\Omega\times\psi(\Omega^{\Omega\times\psi(\Omega^{\Omega\times\omega})})})\\&f_{\omega^2+1}(n)\sim\psi(\Omega^{\Omega^2})=\varphi(1,0,0,0)\\&f_\omega^n(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}+\Omega^\Omega)\\&f_{\omega\times2}^n(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}+\Omega^{\Omega\times2})\\&f_{\omega\times n}(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}+\Omega^{\Omega\times\omega})\\&f_{\omega^2}(f_{\omega^2+1}(n))=f_{\omega\times f_{\omega^2+1}(n)}(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}+\Omega^{\Omega\times{\psi(\Omega^{\Omega^2})}})=\varphi(\varphi(1,0,0,0),0,1)\\&f_{\omega^2}^2(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}+\Omega^{\Omega\times\psi(\Omega^{\Omega^2}+\Omega^{\Omega\times\psi(\Omega^{\Omega^2})})})\\&f_{\omega^2}^n(f_{\omega^2+1}(n))\sim\psi(\Omega^{\Omega^2}\times2)\\&f_{\omega^2+1}^2(n)\sim\psi(\Omega^{\Omega^2}\times\psi(\Omega^{\Omega^2}))\\&f_{\omega^2+2}(n)\sim\psi(\Omega^{\Omega^2+1})\\&f_{\omega^2+\omega}(n)\sim\psi(\Omega^{\Omega^2+\omega})\\&f_{\omega^2+\omega+1}(n)\sim\psi(\Omega^{\Omega^2+\Omega})\\&f_{\omega^2+\omega+2}(n)\sim\psi(\Omega^{\Omega^2+\Omega+1})\\&f_{\omega^2+\omega\times2+1}(n)\sim\psi(\Omega^{\Omega^2+\Omega\times2})\\&f_{\omega^2\times2}(n)\sim\psi(\Omega^{\Omega^2+\Omega\times\omega})\\&f_{\omega^2\times2+1}(n)\sim\psi(\Omega^{\Omega^2\times2})\\&f_{\omega^2\times3+1}(n)\sim\psi(\Omega^{\Omega^2\times3})\\&f_{\omega^3}(n)\sim\psi(\Omega^{\Omega^2\times\omega})\\&f_{\omega^2\times n}(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega}\times2)\\&f_{\omega^2\times n+1}^n(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+1})\\&f_{\omega^2\times n+n}(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+\omega})\\&f_{\omega^2\times n+\omega}(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+\psi(\Omega^{\Omega^2\times\omega})})\\&f_{\omega^2\times n+\omega}^n(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+\Omega})\\&f_{\omega^2\times n+\omega\times n}(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+\Omega\times\omega})\\&f_{\omega^2\times n+\omega^2}^n(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega+\Omega^2})\\&f_{\omega^2\times n\times2}(f_{\omega^3}(n))\sim\psi(\Omega^{\Omega^2\times\omega\times2})\\&f_{\omega^3}^2(n)\sim\psi(\Omega^{\Omega^2\times\psi(\Omega^{\Omega^2})})\\&f_{\omega^3+1}(n)\sim\psi(\Omega^{\Omega^3})\\&f_{\omega^3+2}(n)\sim\psi(\Omega^{\Omega^3+1})\\&f_{\omega^3+\omega+1}(n)\sim\psi(\Omega^{\Omega^3+\Omega})\\&f_{\omega^3+\omega^2+1}(n)\sim\psi(\Omega^{\Omega^3+\Omega^2})\\&f_{\omega^3\times2+1}(n)\sim\psi(\Omega^{\Omega^3\times2})\\&f_{\omega^4}(n)\sim\psi(\Omega^{\Omega^3\times\omega})\\&f_{\omega^4+1}(n)\sim\psi(\Omega^{\Omega^4})\\&f_{\omega^\omega}(n)\sim\psi(\Omega^{\Omega^\omega})=\varphi(1@\omega)\\ \end{align}</nowiki>

	<		<

2025年8月21日 (四) 01:29 Z

2025-08-21T01:29:56Z

显示更改

2025年8月21日 (四) 01:19 Z

2025-08-21T01:19:45Z

显示更改

2025年8月21日 (四) 01:19 Z

2025-08-21T01:19:13Z

显示更改

2025年8月21日 (四) 01:14 Z

2025-08-21T01:14:57Z

显示更改

2025年8月21日 (四) 01:04 Z

2025-08-21T01:04:43Z

←上一版本		2025年8月21日 (四) 09:04的版本
第3行：		第3行：
	<math>g_{\varepsilon_0\times2}(n)=g_{\varepsilon_0+\varepsilon_0[n]}(n)=(n\uparrow\uparrow n)\times2</math>		<math>g_{\varepsilon_0\times2}(n)=g_{\varepsilon_0+\varepsilon_0[n]}(n)=(n\uparrow\uparrow n)\times2</math>

	<~~math~~>g_{\varepsilon_0\times\omega}(n)=g_{\varepsilon_0\times n}(n)=(n\uparrow\uparrow n)\times n~~</math>~~		<nowiki>\begin{align} & g_{\varepsilon_0\times\omega}(n)=g_{\varepsilon_0\times n}(n)=(n\uparrow\uparrow n)\times n\\ &g_{\varepsilon_0\times\omega^2}(n)=g_{\varepsilon_0\times\omega\times n}(n)=(n\uparrow\uparrow n)\times n^2\\ &g_{\varepsilon_0\times\omega^\omega}(n)=g_{\varepsilon_0\times\omega^n}(n)=(n\uparrow\uparrow n)\times n^n\\ &g_{\varepsilon_0\times\omega^{\omega^\omega}}(n)=(n\uparrow\uparrow n)\times (n\uparrow\uparrow3)\\ &g_{\varepsilon_0^2}(n)=g_{\varepsilon_0\times\varepsilon_0[n]}(n)=(n\uparrow\uparrow n)^2\\ &g_{\varepsilon_0^3}(n)=(n\uparrow\uparrow n)^3\\ &g_{\varepsilon_0^\omega}(n)=g_{\varepsilon_0^n}(n)=(n\uparrow\uparrow n)^n\\ &g_{\varepsilon_0^{\omega^\omega}}(n)=(n\uparrow\uparrow n)^{n^n}\\ &g_{\varepsilon_0^{\varepsilon_0}}(n)=(n\uparrow\uparrow n)^{n\uparrow\uparrow n}=(n\uparrow\uparrow n)\uparrow\uparrow2\\ &g_{\varepsilon_0^{\varepsilon_0^{\varepsilon_0}}}(n)=(n\uparrow\uparrow n)\uparrow\uparrow3\\ &g_{\varepsilon_1}(n)=(n\uparrow\uparrow n)\uparrow\uparrow n\approx n\uparrow\uparrow(n\times2)\\ &g_{\varepsilon_2}(n)=((n\uparrow\uparrow n)\uparrow\uparrow n)\uparrow\uparrow n\approx n\uparrow\uparrow(n\times3)\\ &n\uparrow\uparrow(n\times3)\sim\varepsilon_2\\ &n\uparrow\uparrow(n\times3+1)\sim\varepsilon_2^{\varepsilon_2}\\ &n\uparrow\uparrow(n\times3+2)\sim\varepsilon_2^{\varepsilon_2^{\varepsilon_2}}\\ &n\uparrow\uparrow(n\times4)\sim\varepsilon_3\\ &n\uparrow\uparrow(n\times5)\sim\varepsilon_4\\ &n\uparrow\uparrow(n^2)\sim\varepsilon_\omega\\ &n\uparrow\uparrow(n^2+1)\sim\varepsilon_\omega^{\varepsilon_\omega}\\&n\uparrow\uparrow(n^2+n)\sim\varepsilon_{\omega+1}\\&n\uparrow\uparrow(n^2\times2)\sim\varepsilon_{\omega\times2}\\&n\uparrow\uparrow(n^3)\sim\varepsilon_{\omega^2}\\&n\uparrow\uparrow(n^n)=n\uparrow\uparrow n\uparrow\uparrow2\sim\varepsilon_{\omega^\omega}\\&n\uparrow\uparrow(n^n+n)\sim\varepsilon_{\omega^\omega+1}\\&</nowiki><nowiki>n\uparrow\uparrow(n^{n+1})\sim\varepsilon_{\omega^{\omega+1}}\\&</nowiki><nowiki>n\uparrow\uparrow(n^{n^2})\sim\varepsilon_{\omega^{\omega^2}}\\&</nowiki><nowiki>n\uparrow\uparrow n\uparrow\uparrow3\sim\varepsilon_{\omega^{\omega^\omega}}\\&</nowiki>n\uparrow\uparrow n\uparrow\uparrow n=n\uparrow\uparrow\uparrow 3\sim\varepsilon_{\varepsilon_0}\\&n\uparrow\uparrow (n\uparrow\uparrow n+n)\sim\varepsilon_{\varepsilon_0+1}\\&n\uparrow\uparrow ((n\uparrow\uparrow n)\times2)\sim\varepsilon_{\varepsilon_0\times2}\\&<nowiki>n\uparrow\uparrow ((n\uparrow\uparrow n)\uparrow\uparrow 2)\approx n\uparrow\uparrow n\uparrow\uparrow(n+1)\sim\varepsilon_{\varepsilon_0^{\varepsilon_0}}\\&</nowiki>n\uparrow\uparrow n\uparrow\uparrow(n\times2)\sim\varepsilon_{\varepsilon_1}\\&n\uparrow\uparrow n\uparrow\uparrow(n^2)\sim\varepsilon_{\varepsilon_\omega}\\&<nowiki>n\uparrow\uparrow n\uparrow\uparrow n\uparrow\uparrow n=n\uparrow\uparrow\uparrow4\sim\varepsilon_{\varepsilon_{\varepsilon_0}}\\&</nowiki>n\uparrow\uparrow\uparrow n\sim\zeta_0\\&(n\uparrow\uparrow\uparrow n)\uparrow\uparrow n\sim\varepsilon_{\zeta_0+1}\\&(n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\times2)\sim\varepsilon_{\zeta_0+2}\\&(n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\uparrow\uparrow n)\sim\varepsilon_{\zeta_0+\varepsilon_0}\\&(n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\uparrow\uparrow\uparrow n)\approx n\uparrow\uparrow\uparrow(n+1)\sim\varepsilon_{\zeta_0\times2}\\&<nowiki>(n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\uparrow\uparrow\uparrow n)\uparrow\uparrow n\sim\varepsilon_{\varepsilon_{\zeta_0+1}}\\&</nowiki><nowiki>(n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\uparrow\uparrow\uparrow n)\sim\varepsilon_{\varepsilon_{\zeta_0\times2}}\\&</nowiki>(n\uparrow\uparrow\uparrow n)\uparrow\uparrow \uparrow n\approx n\uparrow\uparrow\uparrow(n\times2)\sim\zeta_1\\&(n\uparrow\uparrow\uparrow(n\times2))\uparrow\uparrow n\sim\varepsilon_{\zeta_1+1}\\&(n\uparrow\uparrow\uparrow(n\times2))\uparrow\uparrow (n\uparrow\uparrow\uparrow n)\sim\varepsilon_{\zeta_1+\zeta_0}\\&(n\uparrow\uparrow\uparrow(n\times2))\uparrow\uparrow (n\uparrow\uparrow\uparrow(n\times2))\sim\varepsilon_{\zeta_1\times2}\\&(n\uparrow\uparrow\uparrow(n\times2))\uparrow\uparrow \uparrow n\approx n\uparrow\uparrow\uparrow(n\times3)\sim\zeta_2\\&n\uparrow\uparrow\uparrow(n^2)\sim\zeta_\omega\\&n\uparrow\uparrow\uparrow(n^n)\sim\zeta_{\omega^\omega}\\&n\uparrow\uparrow\uparrow(n\uparrow\uparrow n)\sim\zeta_{\varepsilon_0}\\&n\uparrow\uparrow\uparrow n\uparrow\uparrow\uparrow n \sim\zeta_{\zeta_0}\\&n\uparrow\uparrow\uparrow\uparrow n \sim\eta_0\\&(n\uparrow\uparrow\uparrow\uparrow n)\uparrow\uparrow\uparrow n \sim\zeta_{\eta_0+1}\\&n\uparrow\uparrow\uparrow\uparrow (n\times2) \sim\eta_1\\&n\uparrow^53 \sim\eta_{\eta_0}\\&n\uparrow^5n \sim\varphi(4,0)\\&n\uparrow^5(n\times2) \sim\varphi(4,1)\\&n\uparrow^6 n \sim\varphi(5,0)\\&n\uparrow^n n \sim\varphi(\omega,0)\\ \end{align}

	~~<math>~~g_{\varepsilon_0\times\omega^2}(n)=g_{\varepsilon_0\times\omega\times n}(n)=(n\uparrow\uparrow n)\times n^2~~</math>~~

	~~<math>~~g_{\varepsilon_0\times\omega^\omega}(n)=g_{\varepsilon_0\times\omega^n}(n)=(n\uparrow\uparrow n)\times n^n~~</math>~~

	~~<math>~~g_{\varepsilon_0\times\omega^{\omega^\omega}}(n)=(n\uparrow\uparrow n)\times (n\uparrow\uparrow3)~~</math>~~

	~~<math>~~g_{\varepsilon_0^2}(n)=g_{\varepsilon_0\times\varepsilon_0[n]}(n)=(n\uparrow\uparrow n)^2~~</math>~~

	~~<math>~~g_{\varepsilon_0^3}(n)=(n\uparrow\uparrow n)^3~~</math>~~

	~~<math>~~g_{\varepsilon_0^\omega}(n)=g_{\varepsilon_0^n}(n)=(n\uparrow\uparrow n)^n~~</math>~~

	~~<math>~~g_{\varepsilon_0^{\omega^\omega}}(n)=(n\uparrow\uparrow n)^{n^n}~~</math>~~

	~~<math>~~g_{\varepsilon_0^{\varepsilon_0}}(n)=(n\uparrow\uparrow n)^{n\uparrow\uparrow n}=(n\uparrow\uparrow n)\uparrow\uparrow2~~</math>~~

	~~<math>~~g_{\varepsilon_0^{\varepsilon_0^{\varepsilon_0}}}(n)=(n\uparrow\uparrow n)\uparrow\uparrow3~~</math>~~

	~~<math>~~g_{\varepsilon_1}(n)=(n\uparrow\uparrow n)\uparrow\uparrow n\approx n\uparrow\uparrow(n\times2)~~</math>~~

	~~<math>~~g_{\varepsilon_2}(n)=((n\uparrow\uparrow n)\uparrow\uparrow n)\uparrow\uparrow n\approx n\uparrow\uparrow(n\times3)~~</math>~~

	~~<math>~~n\uparrow\uparrow(n\times3)\sim\varepsilon_2~~</math>~~

	~~<math>~~n\uparrow\uparrow(n\times3+1)\sim\varepsilon_2^{\varepsilon_2}~~</math>~~

	~~<math>~~n\uparrow\uparrow(n\times3+2)\sim\varepsilon_2^{\varepsilon_2^{\varepsilon_2}}~~</math>~~

	~~<math>~~n\uparrow\uparrow(n\times4)\sim\varepsilon_3
	~~</math>~~

	~~<math>~~n\uparrow\uparrow(n\times5)\sim\varepsilon_4~~</math>~~

	\~~begin{align}~~ & n\uparrow\uparrow(n^2)\sim\varepsilon_\omega\\ &n\uparrow\uparrow(n^2+1)\sim\varepsilon_\omega^{\varepsilon_\omega}\\&n\uparrow\uparrow(n^2+n)\sim\varepsilon_{\omega+1}\\&n\uparrow\uparrow(n^2\times2)\sim\varepsilon_{\omega\times2}\\&n\uparrow\uparrow(n^3)\sim\varepsilon_{\omega^2}\\&n\uparrow\uparrow(n^n)=n\uparrow\uparrow n\uparrow\uparrow2\sim\varepsilon_{\omega^\omega}\\&n\uparrow\uparrow(n^n+n)\sim\varepsilon_{\omega^\omega+1}\\&<nowiki>n\uparrow\uparrow(n^{n+1})\sim\varepsilon_{\omega^{\omega+1}}\\&</nowiki><nowiki>n\uparrow\uparrow(n^{n^2})\sim\varepsilon_{\omega^{\omega^2}}\\&</nowiki><nowiki>n\uparrow\uparrow n\uparrow\uparrow3\sim\varepsilon_{\omega^{\omega^\omega}}\\&</nowiki>n\uparrow\uparrow n\uparrow\uparrow n=n\uparrow\uparrow\uparrow 3\sim\varepsilon_{\varepsilon_0}\\&n\uparrow\uparrow (n\uparrow\uparrow n+n)\sim\varepsilon_{\varepsilon_0+1}\\&n\uparrow\uparrow ((n\uparrow\uparrow n)\times2)\sim\varepsilon_{\varepsilon_0\times2}\\&<nowiki>n\uparrow\uparrow ((n\uparrow\uparrow n)\uparrow\uparrow 2)\approx n\uparrow\uparrow n\uparrow\uparrow(n+1)\sim\varepsilon_{\varepsilon_0^{\varepsilon_0}}\\&</nowiki>n\uparrow\uparrow n\uparrow\uparrow(n\times2)\sim\varepsilon_{\varepsilon_1}\\&n\uparrow\uparrow n\uparrow\uparrow(n^2)\sim\varepsilon_{\varepsilon_\omega}\\&<nowiki>n\uparrow\uparrow n\uparrow\uparrow n\uparrow\uparrow n=n\uparrow\uparrow\uparrow4\sim\varepsilon_{\varepsilon_{\varepsilon_0}}\\&</nowiki>n\uparrow\uparrow\uparrow n\sim\zeta_0\\&(n\uparrow\uparrow\uparrow n)\uparrow\uparrow n\sim\varepsilon_{\zeta_0+1}\\&(n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\times2)\sim\varepsilon_{\zeta_0+2}\\&(n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\uparrow\uparrow n)\sim\varepsilon_{\zeta_0+\varepsilon_0}\\&(n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\uparrow\uparrow\uparrow n)\approx n\uparrow\uparrow\uparrow(n+1)\sim\varepsilon_{\zeta_0\times2}\\&<nowiki>(n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\uparrow\uparrow\uparrow n)\uparrow\uparrow n\sim\varepsilon_{\varepsilon_{\zeta_0+1}}\\&</nowiki><nowiki>(n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\uparrow\uparrow\uparrow n)\uparrow\uparrow (n\uparrow\uparrow\uparrow n)\sim\varepsilon_{\varepsilon_{\zeta_0\times2}}\\&</nowiki>(n\uparrow\uparrow\uparrow n)\uparrow\uparrow \uparrow n\approx n\uparrow\uparrow\uparrow(n\times2)\sim\zeta_1\\&(n\uparrow\uparrow\uparrow(n\times2))\uparrow\uparrow n\sim\varepsilon_{\zeta_1+1}\\&(n\uparrow\uparrow\uparrow(n\times2))\uparrow\uparrow (n\uparrow\uparrow\uparrow n)\sim\varepsilon_{\zeta_1+\zeta_0}\\&(n\uparrow\uparrow\uparrow(n\times2))\uparrow\uparrow (n\uparrow\uparrow\uparrow(n\times2))\sim\varepsilon_{\zeta_1\times2}\\&(n\uparrow\uparrow\uparrow(n\times2))\uparrow\uparrow \uparrow n\approx n\uparrow\uparrow\uparrow(n\times3)\sim\zeta_2\\&n\uparrow\uparrow\uparrow(n^2)\sim\zeta_\omega\\&n\uparrow\uparrow\uparrow(n^n)\sim\zeta_{\omega^\omega}\\&n\uparrow\uparrow\uparrow(n\uparrow\uparrow n)\sim\zeta_{\varepsilon_0}\\&n\uparrow\uparrow\uparrow n\uparrow\uparrow\uparrow n \sim\zeta_{\zeta_0}\\&n\uparrow\uparrow\uparrow\uparrow n \sim\eta_0\\&(n\uparrow\uparrow\uparrow\uparrow n)\uparrow\uparrow\uparrow n \sim\zeta_{\eta_0+1}\\&n\uparrow\uparrow\uparrow\uparrow (n\times2) \sim\eta_1\\&n\uparrow^53 \sim\eta_{\eta_0}\\&n\uparrow^5n \sim\varphi(4,0)\\&n\uparrow^5(n\times2) \sim\varphi(4,1)\\&n\uparrow^6 n \sim\varphi(5,0)\\&n\uparrow^n n \sim\varphi(\omega,0)\\ \end{align}

SGH与FGH对照 - 版本历史

Tabelog：​文字替换 -“Veblen 函数”替换为“Veblen 函数”

Tabelog：​修改格式

2025年8月24日 (日) 03:53 Z

2025年8月21日 (四) 01:32 Z

2025年8月21日 (四) 01:31 Z

2025年8月21日 (四) 01:29 Z

2025年8月21日 (四) 01:19 Z

2025年8月21日 (四) 01:19 Z

2025年8月21日 (四) 01:14 Z

2025年8月21日 (四) 01:04 Z

Tabelog：文字替换 -“Veblen 函数”替换为“Veblen 函数”

Tabelog：修改格式