Back to Home

Blackholes Forum Message

Forums: Atm · Astrophotography · Blackholes · Blackholes2 · CCD · Celestron · Domes · Education
Eyepieces · Meade · Misc. · God and Science · SETI · Software · UFO · XEphem
RSS Button

Home | Discussion Forums | Blackholes I | Post
Login

Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place...
The Space and Astronomy Agora
More On ZF

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Harvey on September 18, 2001 12:56:28 UTC

Incidently, Russell found his famous paradox exactly a century ago in 1901 by studying Frege's axiomatic work on set theory with axiom V (1893) dealing with his axiom of abstraction. By introducing in 1908 the axiom schema of separation Zermelo was able to avoid Russell's paradox. Zermelo was able to show that the axiom schema of separation flowed naturally from the axiom of abstraction so there wasn't the problem of acting ad hoc (as many felt about Russell's theory of types).

Fraenkel (1922) strengthened Zermelo's axiom schema of separation with the axiom schema of replacement to handle transfinite induction and ordinal arithmetic which is why the axiomatic approach of Zermelo is called ZF set theory (Zermelo-Fraenkel) instead of just Zermelo set theory.

Warm regards, Harv

Follow Ups:

    Login to Post
    Additional Information
    Google
     
    Web www.astronomy.net
    DayNightLine
    About Astronomy Net | Advertise on Astronomy Net | Contact & Comments | Privacy Policy
    Unless otherwise specified, web site content Copyright 1994-2020 John Huggins All Rights Reserved
    Forum posts are Copyright their authors as specified in the heading above the post.
    "dbHTML," "AstroGuide," "ASTRONOMY.NET" & "VA.NET"
    are trademarks of John Huggins