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
    2.6k
    dbl post
    fishfry Options
  • fishfry
    2.6k
    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