[FOM] The Minimal Model of ZF

[Ilya Tsindlekht]

On Thu, Jan 03, 2008 at 07:33:12PM -0500, joeshipman at aol.com wrote:
> >-----Original Message-----
> >From: Ilya Tsindlekht <eilya497 at 013.net>
> >
> >> extending the axiom system "ZFC + V=M" with the scheme "Anything 
> which
> >> 'ZFC + M exists as a set' proves is true in M is true in V".)
> >>
> >Since V=M implies 'M does not exist (as a set)' such extension is
> >inconsistent.
> 
> No it isn't inconsistent, you didn't read this as carefully as I worded 
> it!
Yes, I misunderstood you. Now, as far as I can see, the theorems of this
theory are exactly those sentences which can be proven to hold in M
provided M exists.