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

A method for proving something about all sets in ZFC

  1. May 12, 2015 #1
    I would appreciate any and all feedback regarding this document currently housed in Google docs. Basically, I generalize induction among natural numbers to an extreme in an environment regarding what I call grammatical systems. Then an induction principle is derived from that which holds in ZFC set theory (and perhaps other set theories) which would enable someone to prove statements about all sets in ZFC.

    https://docs.google.com/document/d/1amDb4Yti4egpKfcO2oLcnGAH8UpC8_tKb7ivuH3AT7A/edit?usp=sharing
     
  2. jcsd
  3. May 12, 2015 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    So what kind of feedback do you want? Everything in the document is rather well-known, it's only phrased in terms that are pretty weird. There are some inaccurate things in the document though, so perhaps you want to discuss that?
     
  4. May 12, 2015 #3

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    In particular, take a look at section 1.2 of Hinman's "Fundamentals of logic". You should be more careful in your document however since you only define "grammatical systems" for sets, while you later use them for classes when dealing with ZF.
     
  5. May 12, 2015 #4
    That in itself is very useful feedback. Thank you. I guess I haven't studied enough set theory because I haven't seen this result before. I'm glad I don't have to reinvent the wheel. I will see if I can find Hinman. We might as well discuss those innacurate things. I don't know if changing the terms I use from sets to classes when defining grammatical systems would harm anything. I was also thinking, alternatively, that maybe I should note that I must not be working within ZFC in order to prove something about ZFC; I apparently need something else like NFU or something that isn't ZFC. I'm excited to go find out other presentations of this result which I was suspecting was well-known, in part to see if more or less machinery is required in other presentations.
     
  6. May 13, 2015 #5
    Are there any references online that explain this result differently from how I did it (or almost did it) as I cannot find Hinman's book online?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook