But to a set theorist, a real number is just a set of natural numbers, and a formula (in the sense of logic) is just a natural number, so that's how this set of formulas is a real number.
But to a set theorist, a real number is just a set of natural numbers, and a formula (in the sense of logic) is just a natural number, so that's how this set of formulas is a real number.