[FOM] second order ZFC

pax0@seznam.cz pax0 at seznam.cz
Wed Mar 5 16:46:02 EST 2008


Is anybody familiar with second order set theory ZFC to explain/point to a paper
what language it uses, what axioms and models it has,give a typical theorem, or perhaps
indicate its philosophical value.
Thank you, J.P.


More information about the FOM mailing list