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

Axioms in ZFC set theory

  1. Sep 29, 2008 #1
    since a lot of talking is going on with sets, will somebody write down the axioms in ZFC theory as a point of reference , when a discussion is opened up.
    thanx
     
  2. jcsd
  3. Sep 29, 2008 #2
  4. Sep 30, 2008 #3
    You misunderstood him Dragonfall, I think he meant that someone should post a sticky in this subforum underlying all the axioms of ZFC, or something like this.

    Cause checking in mathworld or wiki is really a triviality, nowadays.
     
  5. Sep 30, 2008 #4
    THANK YOU that is what i really meant.INDEED checking in mathworld or in wiki
    although a triviality it is sometimes simply chaotic
     
  6. Sep 30, 2008 #5
    I don't think we should favor any formalism over another, lest someone thinks that ZFC is gods-given or something.
     
  7. Oct 1, 2008 #6
    Well any god I worship sure as hell wouldn't use category theory!
     
  8. Oct 2, 2008 #7
    since we are interested more in the logical conclusions and not in the rules them selfs,i think that any set of rules concerning set theory would do.
    Also if we find out that a certain set of rules does not solve certain problems then we can refer to another set of rules

    But yes i agree with Mr poutsosA ,we must a have a set of rules to refer to, everytime we start a discussion in set theory
     
  9. Oct 2, 2008 #8
    If anyone here discusses set theory without explicitly mentioning the formalism then it's assumed to be ZFC. Now if you have something to say about ZFC, chances are you know the axioms by heart anyway. It's not necessary to have them listed as if they were the ten freaking commandments.
     
  10. Oct 2, 2008 #9
    What that suppose to mean??
     
  11. Oct 2, 2008 #10
    mention couple of formalisms,if you like,please
     
  12. Oct 2, 2008 #11
    It means "If anyone here discusses set theory without explicitly mentioning the formalism then it's assumed to be ZFC."

    Morse-Kelley, type theory, category theory, von-Neumann-Godel. You can google the rest yourself.
     
  13. Oct 2, 2008 #12
    ZFC first order ,second order,a mixed of the two???

    Anyway in this forum i have not seen a lot of proofs coming out straight from ZFC axioms
     
  14. Oct 2, 2008 #13
    Because no person in the right mind would prove things straight from the axioms.
     
  15. Oct 2, 2008 #14
    what are there for, to be admired at ??

    how about Patrick Suppes,what is he doing in his book : Axiomatic Set Theory???
     
  16. Oct 3, 2008 #15
    How about you count the number of published papers with "we will prove this from the axioms of ZFC"?
     
  17. Oct 3, 2008 #16
    First you claim and i quote: no person in the right mind would prove things straight from the axioms.

    To that claim i produce the book of Patrick Suppes,Axiomatic Set Theory where he proves from the ZFC axioms all the theorems involved

    Now you asking me to produce papers where the theorems in ZFC are proved.

    is not one example enough for your claim??
     
  18. Oct 3, 2008 #17

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    evagelos, are you being deliberately dense?
     
  19. Oct 3, 2008 #18

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I think he has a fair objection. Dragonfall has insulted several demographics of mathematicians, computer scientists, students (and probably people in other fields too). While one might assume Dragonfall really just meant something to the effect of "leave set theory to the set theorists", I believe it is quite reasonable to call Dragonfall out on his comment.
     
  20. Oct 4, 2008 #19
    Which comment might that be?
     
  21. Oct 4, 2008 #20

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Because no person in the right mind would prove things straight from the axioms.​
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Axioms in ZFC set theory
  1. Sets and axioms (Replies: 0)

Loading...