User blog comment:Kyodaisuu/Pseudo Rayo's number/@comment-24061664-20140617085557/@comment-1605058-20140617114106

What do you mean by type? This isn't type theory.