1. Aug 12, 2016

tzimie

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

2. Aug 17, 2016