Large Number Garden Number

The Large Number Garden Number is equal to \(f^{10}(10 \uparrow^{10} 10)\), where \(f\) is the function defined in First Order Theory beyond Higher Order Set Theory.