The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: A natural theory proving Con(ZFC)
Replies: 3   Last Post: Feb 11, 2013 12:25 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 2,665
Registered: 6/29/07
A natural theory proving Con(ZFC)
Posted: Feb 8, 2013 7:27 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

I see the following theory a natural one that proves the consistency
of ZFC.

Language: FOL(=,in)

Define: set(x) iff Exist y. x in y

Axioms: Identity axioms +

(1) Extensionality: (for all z. z in x iff z in y) -> x=y

(2) Comprehension: if phi is a formula in which x is not free then
(Exist x. for all y. y in x iff set(y) & phi) is an axiom.

(3) Pairing: (for all y. y in x -> y=a or y=b) -> set(x)

(4) Hereditary size limitation: set(x) <-> Exist y. set(y) & for all m
in x (m << y)

(5) Simple size limitation: set(x) & y < x -> set(y)

where relations <, << are defined as:

x < y iff Exist z. z suclass_of y & Exist f. f:z --> x & f is a

where z subclass_of y iff for all m. m in z -> m in y.

x << y iff x < y & for all z in TC(x). z < y

TC(x) is defined as:

TC(x)=y iff [for all z. z in y iff (for all s. x subclass_of s & s is
transitive -> z in s)]

where transitive is defined as:

x is transitive iff (for all y,z. z in y & y in x -> z in x)


In nutshell there are mainly two scenarios here essential to prove
ZFC, that of Unique Construction of classes, and Size criteria.


Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.