User blog comment:P進大好きbot/Whether Rayo's number is well-defined or not/@comment-73.15.199.22-20180531171758

Rayo has nothing to do with axioms.