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

What happens if we compare Rayo(10^100) and Rayo(Rayo(10^90)) ? Rayo(10^90) > 10^100, and therefore Rayo(10^100) < Rayo(Rayo(10^90)), but if FOST with 10^100 can write Rayo(Rayo(10^90)), Rayo(100) > Rayo(Rayo(10^90)). It seems to be contradiction ...