User blog comment:Kyodaisuu/English description of Fish numbers/@comment-25418284-20131102173245/@comment-1605058-20131103181109

Yes, I understand your proof. I think you might be right, but in that case I wonder which part of my method to implement Rayo's function in FOST (I'm working on details) is wrong. Maybe while writing this down I'll find problem.