User blog comment:TySkyo/Super-duperplex/@comment-29014792-20160805150230/@comment-28606698-20161119210058

Just curious where is the boundary between naivety and non-naivety of extensions  of Rayo number? For example if anyone defines for FGH f_0(N) as "The smallest integer number bigger than any number that can be uniquely defined by an expression in the language of N-th order set-theory with N symbols or less" is it still naive extension? (and by the way is it well-defined?)