
Re: What are sets? again
Posted:
Dec 3, 2012 1:40 AM


On Dec 3, 5:28 am, CharlieBoo <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

