- #1
tzimie
- 259
- 28
https://en.wikipedia.org/wiki/Zero_sharp
Here:
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
Here:
is defined to be the set of Gödel numbers of the true sentences about the constructible universe, with ci interpreted 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