[FOM] The semantics of set theory (Set Theology)
wwtx at earthlink.net
Thu Oct 3 17:34:29 EDT 2002
On Wednesday, October 2, 2002, at 04:58 PM, JoeShipman at aol.com wrote:
> Here is a notion of set-theoretic truth that does not require
> Let's expand the language of set theory to include a constant /kappa,
> and the axiom scheme
> phi iff V_/kappa satisfies phi
> , for ALL sentences phi in the original language (not including the
> symbol /kappa)..
Joe- maybe its obvious, but what axioms other than this one are there?
There must be some, since you are assuming that V_\kappa is defined.
More information about the FOM