User blog comment:Kyodaisuu/English description of Fish numbers/@comment-25418284-20131102173245/@comment-24061664-20131103150144

Please see here:

http://gyafun.jp/ln/en.html#7

In the discussion section of F7, I wrote a proof that Rayo function cannot be implemented effectively in FOST, explained that Rayo number is still well-defined, and that oracle formula can write Rayo function without contradiction.