Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I Question about zero sharp

  1. Aug 12, 2016 #1

    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?

  2. jcsd
  3. Aug 17, 2016 #2
    Thanks for the thread! This is an automated courtesy bump. Sorry you aren't generating responses at the moment. Do you have any further information, come to any new conclusions or is it possible to reword the post? The more details the better.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted