> Literally any definition of something infinite can always be reduced to a procedure that recursively transforms or observes some prior state.

You can’t generate R this way. This is a consequence of Cantor’s proof.