What are Numbers?
123Next
  • GrandMinnow
    169
    I don't see now this could be a set in TF. — fishfry

    TF proves there is no such set. But meanwhile set theory proves there is that set. The set is the universe for a model of TF. The set itself is not a member of that universe.
    GrandMinnow Options
  • fishfry
    3k
    dbl post
    fishfry Options
  • fishfry
    3k
    TF proves there is no such set. But meanwhile set theory proves there is that set. The set is the universe for a model of TF. The set itself is not a member of that universe. — GrandMinnow

    You're agreeing with me. You simply haven't made your case IMO. If it's the extension of a predicate and it's not a set in TF then it's a proper class. It may well be (and of course is) a set in some more powerful theory such as ZF.
    fishfry Options
123Next
bold
italic
underline
strike
code
quote
ulist
image
url
mention
reveal
youtube
tweet
Add a Comment

Welcome to The Philosophy Forum!

Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.

Sign In Create Account

Categories