User blog comment:TristanLambert/The Extension Function/@comment-25601061-20180619033021/@comment-35470197-20180721061542

You need to explicitly define "extension" and the range of large numbers which your Ext function refers to.

For example, is your Ext(0) extended? If not, then Ext(0) refers to itself. It is a circular logic. Moreover, FOST is not a function. It is just a formal language.

Maybe you need to look up "Berry's paradox" before making uncomputable numbers using such a natural language based definition.