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.