[FOM] The semantics of set theory (Set Theology)
William Tait
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
> inaccessibles.
>
> 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.
Bill Tait
More information about the FOM
mailing list