On Sat, Nov 8, 2008 at 8:41 PM, Quentin Anciaux <allcolor.domain.name.hidden> wrote:
>
> To infer means there is "a process" which permits to infer.. if there
> is none... then you can't simply infer something.
The process itself arises naturally from the universe of sets
guaranteed by the axioms of set theory. For example, the Axiom of
Union says that the elements of the elements of a set form a set. You
can therefore infer that if the set { { { } }, { { { } } } } exists,
then the set { { }, { { } } } exists. By using the axioms alone,
you can prove and disprove everything in mathematics. The process of
inference comes from the axioms themselves and the undefinable
membership relation.
This is elementary set theory...any basic course in set theory should
cover this.
Anna
--~--~---------~--~----~------------~-------~--~----~
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.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Sat Nov 08 2008 - 20:53:14 PST