User blog comment:DerivedSugar177/function absolutely larger than that of Kn(n) n-system/@comment-35470197-20190703222915

Ill-defined because you have no axiom or even formal language to formalise the validity of the definition and truth predicate.

I am certain that you do not know formal logic. Then I strongly recommend you to use what you actually know. Otherwise, you are unable to understand what problems are.