- #1

tzimie

- 259

- 28

Here:

is defined to be the set of Gödel numbers of the true sentences about the constructible universe, withciinterpreted as the uncountable cardinal ℵi.

I don't understand how large cardinals are related to this. 0# is countable, just set of integers, why do we need "extra constant symbols"? Obviously, set of Goedel numbers of all true formula "exists" (in human sense) anyway (no matter if existence of such set is provable or not). Where large cardinals come to play?

Thanks