User blog comment:P進大好きbot/List of common mistakes on formal logic appearing in googology/@comment-37993808-20191229181452

> Is Rayo's number well-defined?

> Partially yes, but partially no.

This is impossible. If the number or function is not well-defined, it is ill-defined, particularly, if the number or function has partial definition with some parts not specified by author, it is unformalized and therefore ill-defined. It follows from your records that Rayo's function and number (and Fish number 7, because it is based on the Rayo's function) have partial definitions, but therefore they are unformalized and ill-defined.