User blog comment:JHeroJr/Can Someone Tell Me How To Create An Uncomputable Function That Is Not Naive?/@comment-34422464-20190623235738

Generally you make a axiomatic system, or use an existing one, and do something like "f(n) is largest finite number that can be described in n symbols or less in [system]".