User blog comment:Kyodaisuu/Pseudo Rayo's number/@comment-24061664-20140617085557/@comment-25418284-20140617154733

@Iko I don't understand your last two comments. FOST is not a typed theory.