March 10th, 2018, 09:43 AM  #11  
Senior Member Joined: Aug 2012 Posts: 1,887 Thanks: 525  Quote:
His oneline proof is simple and clear. Anyway, there are non wellfounded set theories. https://en.wikipedia.org/wiki/Nonwe...ded_set_theory Last edited by Maschke; March 10th, 2018 at 09:49 AM.  
March 10th, 2018, 10:11 AM  #12  
Senior Member Joined: Mar 2015 From: New Jersey Posts: 1,364 Thanks: 100  Quote:
You have to assume A$\displaystyle \epsilon$A to arrive at his final conclusion. Or how did you arrive at the conclusion? He just says "it follows immediately."  
March 10th, 2018, 10:19 AM  #13 
Senior Member Joined: Aug 2017 From: United Kingdom Posts: 187 Thanks: 55 Math Focus: Algebraic Number Theory, Arithmetic Geometry  That "= and $\displaystyle \epsilon$ are mutually exclusive symbols" isn't something you can take for granted  in fact, it's precisely what Brian is proving here!

March 10th, 2018, 04:42 PM  #14 
Math Team Joined: Nov 2014 From: Australia Posts: 686 Thanks: 243 
I'll attempt to explain Brian's assertion that $\displaystyle A \cap \{A\} = \emptyset$ implies that $\displaystyle A \notin A$. The key is that $\{A\}$ contains $A$. From the intersection statement, we know that $A$ contains no elements from $\{A\}$ (otherwise $A \cap \{A\} \neq \emptyset$). This directly means that $A$ cannot contain $A$ (since $A$ is an element of $\{A\}$). In symbols, this is $A \notin A$. 
March 11th, 2018, 06:07 AM  #15 
Senior Member Joined: Jun 2014 From: USA Posts: 363 Thanks: 26 
The axiom of regularity implies that the following are both true statements: $$A \cap \{A\} = \emptyset$$ $$A \cup \{A\} \neq A$$ On the surface it may appear that any set merely containing the empty set would pass muster with the axiom, but that is also not true. The axiom would not allow, for example, a set $A = \{\emptyset, A\}$. The axiom also would not allow a set like: $$B = \{ \emptyset,x,y,z,\dots,B \} = \{ \emptyset,x,y,z,\dots,\{\emptyset,x,y,z,\dots,B \} \} = \{\emptyset,x,y,z,\dots,\{\emptyset,x,y,z,\dots,\{ \emptyset,x,y,z,\dots,B \} \} \} = \dots$$ If we choose to express $\mathbb{N}$ in ZF as...: $$\mathbb{N} = \{ 1, 2, 3, \dots \} = \{ \{0\}, \{0, 1\}, \{0, 1, 2\}, \dots \} = \{ \{ \emptyset \}, \{ \emptyset, \{ \emptyset \} \}, \{ \emptyset, \{ \emptyset \}, \{ \emptyset, \{ \emptyset \}\} \}, \dots \}$$ ..., then the axiom ensures that: $$\mathbb{N} \cup \{\mathbb{N}\} \neq \mathbb{N}$$ ... even though the definition of $\mathbb{N}$ also asserts that all on its own, so my clarification is redundant. Can you figure out why the axiom does all of the above zylo? Zermelo was no slouch... 

Tags 
axiom, regularity, zfc 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Zermelo Frankel Axiom of Regularity  zylo  Topology  2  February 8th, 2016 11:09 AM 
Axiom of Regularity is wrong  zylo  Topology  13  February 8th, 2016 09:53 AM 
axiom  Bhuvaneshnick  Probability and Statistics  1  January 7th, 2015 05:06 AM 
Is That An Axiom?  mathmaniac  Algebra  18  February 4th, 2013 04:33 PM 
separation axiom  blbl  Real Analysis  3  May 26th, 2010 07:03 AM 