Binet

Binet is equal to \(f_{\eta_{\eta_{\eta_0}}}(10)\) using the fast-growing hierarchy and Veblen's function's fundamental sequences.My system of number names (FGS) - Traveling To The Infinity The term was coined by wiki user Denis Maksudov.
== Etymology ==
The 3 parts of the name, "bi", "in" and "et", mean 2, the "in-" operation and \(\eta\)-ordinals respectively, which form \(\eta_{\eta_{\eta_0}}\) (i.e. 2 more insertions of \(\eta\)) when concatenated backwards. So the full name indicates the ordinal index of the FGH.
== Sources ==
Category:Numbers
Category:Numbers by Denis Maksudov
Category:10-based FGH numbers
Category:Binary phi level
Category:-et