Date: Dec 3, 2012 1:40 AM
Author: Graham Cooper
Subject: Re: What are sets? again

On Dec 3, 5:28 am, Charlie-Boo <shymath...@gmail.com> wrote:
>
> All you need to do is to say that every FOL wff with a free variable
> defines a set

But you need some extra syntax to specify which variable.


mod( mult( 2, X ) , 5 )

  /\
  ||
  \/

{ X |  mod( mult( 2, X ) , 5 ) }


then you are back at Naive Set Theory.

Which is ok if you have some extra definitions to ensure some
consistency.

Herc