User blog comment:Denis Maksudov/M-notation (new version)/@comment-10262436-20160620212735/@comment-5529393-20160622131457

Before you can check whether or not something is right, you need a definition. What is the definition of f_a(b) for arbitrary ordinals a and b?