User blog comment:Alejandro Magno/SPECIAL! FGH of Hyperion Notation/@comment-1605058-20140925210930/@comment-2033667-20140926151750

If you believe that 1+w = w but f_1+w(n) ≠ f_w(n), have fun violating the axiom of extensionality