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.
(Which isn't really true, but it's not really true that he rides in a sleigh carried by eight reindeer either, so 🤷)
(Which isn't really true, but it's not really true that he rides in a sleigh carried by eight reindeer either, so 🤷)