[FOM] second order ZFC

[rgheck]

pax0 at seznam.cz wrote:
> 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.
>
>   
Well, one early place to look is George Boolos, "On Second-order Logic"
and "To Be Is To Be a Value of a Variable"; compare Charles Parsons,
"Sets and Classes". Probably the standard reference nowadays is Stewart
Shapiro's book.

rh