New Function Coming Soon...

The function will be diagonalizing a language based on a whole new theory I invented/discovered which will be complete after I write the axioms in symbolic form. I am not sure yet how strong the function will be compared to Rayo's function, but the axioms require set theory symbols to write so the theory will be partially based off of set theory even if there won't be set theory symbols in the language based on the theory.