User blog comment:Testitemqlstudop/FPT 2/@comment-44130370-20191112022731/@comment-35470197-20191112140521

> f_L(v) returns a function.

Please learn that you need to specify the domain when you define a function. What is the domain of the returned function?

> @ is the same as my last definiton.

If you need feedbacks from many others who do not know "all" of your works, please write the definition or the link everytime.

> 2 and 4 obviously do not conflict since if v = 0 then v-1 is negative.

It depends on the domain, which you did not specify. Therefore "obviously" is incorrect.

> It is a symbol.

Then it is ill-defined, because it conflicts your description of the domain. Say, y should be an ordinal but not a formal symbol.