Talk:Axiom of union

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Start Class	Low Priority	Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Geometry guy 02:04, 15 June 2007 (UTC)

I added a brief note about the reason that the "intersection of the empty set" makes no sense in ZF; but I'm no set theorist, so please feel free to revert if I'm talking crap. Dmharvey 20:28, 21 April 2006 (UTC)

Your statement seems correct, assuming an axiom of intersection which goes like: the intersection of a set is the set consisting of all sets which are contained in members of A, or . But you could patch up the axiom to exclude the empty set: or equivalently which makes the intersectionof the empty set the empty set. Of course this should probably be interpreted as that there is no "intersection of the empty set", but the article now reads as if that is the reason that there cannot be an axiom of intersection, which I think is not right. --MarSch 09:19, 24 April 2006 (UTC)

I've made a few changes to address your concerns... is that an improvement? I think it's an important point to mention, because anyone with any familiarity with "naive set theory" who is reading about ZF for the first time will see the axiom of union and wonder "why isn't there an axiom of intersection", and pretty much the reasons are: (1) ZF is designed so you don't need it, and (2) if you have an unrestricted axiom of intersection, you run into all the sort of "universe" problems that ZF is specifically trying to avoid. Dmharvey 11:01, 24 April 2006 (UTC)