>
> PM, Bruno Marchal
>
> Yes.
> "Nothing", in set theory, would be more like an empty *collection* of
> sets, or an empty "universe" (a model of set theory), except that in first
> order logic we forbid empty models (so that AxP(x) -> ExP(x) remains valid,
> to simplify life (proofs)).
>

##
Advertising

"nothing" could also be obtained by removing the curly brackets from the
empty set {}. Or removing the (empty) container. I guess this would be
equivalent to "removing" space from the universe. Except that this doesn't
make any sense in Set Theory (maybe it doesn't make any sense in reality
either).
Still, {} is some sort of nothing in Set Theory, given that it is what is
left after all that is allowed to be removed, is removed.
Ricardo.
> Bruno
>
> http://iridia.ulb.ac.be/~marchal/
>
> --
> You received this message because you are subscribed to the Google Groups
> "Everything List" group.
> To post to this group, send email to everything-list@googlegroups.com.
> To unsubscribe from this group, send email to
> everything-list+unsubscr...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/everything-list?hl=en.
>
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.