What interpretations exists for the singleton of the singleton of the empty set $\{\{\varnothing\}\}$ and its singleton $\{\{\{\varnothing\}\}\}$? What I know


*

*I know from Peano's axioms that the empty set is equivalent to the natural number $0$ and that the singleton of the empty set is equivalent to the natural number $1$. ( http://www.proofwiki.org/wiki/Peano%27s_Axioms_Uniquely_Define_Natural_Numbers , http://www.proofwiki.org/wiki/Axiom:Peano%27s_Axioms)

*I know from Kuratowski that the set $\{\{A\}\}$ is equivalent to the ordered pair $\langle A,A\rangle$.
What I want to know


*

*Are there any alternative interpretations of $\{\{A\}\}$ other than Kuratowski's?

*How can we express an ordered homogeneous triple (e.g. Would $\langle A,A,A\rangle$ be equivalent to $\{\{\{A\}\}\}$?)

*It seems like the set $\{\{\varnothing\}\}$ can be interpreted as either $\{1\}$ or $\langle\varnothing,\varnothing\rangle$. Should $\{\{\{\varnothing\}\}\}$ be interpreted as $\langle\varnothing,\varnothing,\varnothing\rangle$ or as $\langle 1,1\rangle$.  Is it possible that these tuples are in some way equivalent?
Note, re: Peano's Axioms
My understanding of Peano's axioms is consistent with the formulation at WolframAlpha, which is expressed as the 5 postulates:


*

*$0$ is a number.

*If $a$ is a number, the successor of $a$ is a number.

*$0$ is not the successor of a number

*Two numbers of which the successors are equal are themselves equal.

*If a set $S$ of numbers contains zero and also the successor of every number in $S$, then every number is in $S$.


These axioms are expressed in set notation at http://www.proofwiki.org/wiki/Axiom:Peano%27s_Axioms / http://www.proofwiki.org/wiki/Peano%27s_Axioms_Uniquely_Define_Natural_Numbers . 
 A: First let me correct one mistake you have in the first line. Peano's Axioms are about numbers. They don't know what are sets. Indeed most people consider PA to be a "good" axiomatization for the natural numbers, but many people don't care whether or not those numbers are sets or not.
It is the common set theoretic interpretation of Peano's axioms from which we understand the empty set as $0$.
Before proceeding I should also add that Zermelo's interpretation of PA was that $n+1=\{n\}$ (You can read more about that here: The history of set-theoretic definitions of $\mathbb N$). In this interpretation: $$0=\varnothing; 1=\{0\}=\{\varnothing\}; 2=\{1\}=\{\{\varnothing\}\}; \dots$$
This in addition to interpreting $\{\{\varnothing\}\}$ as $\langle 0,0\rangle$ and $\{1\}$.
Let me address your questions one at a time:


*

*Yes. You can interpret $\{A\}$ as anything you would like to interpret it, as long as it is coherent with how you interpret other things too. There is nothing particular in how Kuratowski interpreted ordered pairs, or how von Neumann interpreted ordinals (and natural numbers). Those were just very convenient interpretations, so they stuck and became convention.

*Kuratowski's idea to express ordered pairs actually came as a general idea, we identify a linearly ordered set with its initial segments. If we think of an ordered pair as "first element, $a$; second element, $b$" then the initial segments are exactly $\{\{a\},\{a,b\}\}$.
To represent an ordered triplet we therefore would like to write $\langle a,b,c\rangle$ as $\{\{a\},\{a,b\},\{a,b,c\}\}$. However now we have a true problem of interpretation, if $a=b=c$ then both $\langle a,a,a\rangle$ and $\langle a,a\rangle$ would be expressed as $\{\{a\}\}$. Because of that the "atomic" object is an ordered pair, from which we generate functions and treat triplets as indexed by a naturally ordered set like $\{0,1,2\}$.
We also can agree that $\langle a,b,c\rangle$ is a short for $\langle\langle a,b,\rangle, c\rangle$ (or any other composition of ordered pairs) and then $\langle a,a,a\rangle$ is really $\langle\langle a,a\rangle,a\rangle=\{\{\{a\}\},\{\{\{a\}\},a\}\}$.
Your suggestion to interpret $\langle a,a,a\rangle$ as $\{\{\{a\}\}\}$ might be useful in this case, but how would that translate to $\langle a,b,c\rangle$ when $a,b,c$ are not necessarily equal? We want definitions to be coherent and as general as possible.

*We discussed a bit what $\{\{\varnothing\}\}$ can be interpreted as, and as before $\{\{\{\varnothing\}\}\}$ can be interpreted in many different ways, it just has to be compatible with how we interpret other things too.
If we agreed that $\{\{\varnothing\}\}=\{1\}$ then $\{\{\{\varnothing\}\}\}=\{\{1\}\}=\langle1,1\rangle$, for example.
All in all, this is just a good example for "type errors" when thinking in terms of sets. Much like when writing code in assembly both numbers and string are the same.
A: You're taking the Kuratowski ordered pair definition too seriously. It doesn't have any intrinsic intuitive meaning, and in particular does not tell us anything deep about the sets it chooses to represent ordered pair. Its only role is as a technical detail in the proof of

ORDERED-PAIR METATHEOREM. There exists a formula $\phi(x,y,p)$ with three free variables such that
  
  
*
  
*For all $x$ and $y$ there is exactly one $p$ such that $\phi(x,y,p)$.
  
*If $\phi(x,y,p)$ and $\phi(x',y',p)$, then $x=x'$ and $y=y'$.
  
  
  are theorems of set theory.

In the entire rest of the development of set theory (including the very formulation of several of the axioms), and of the development of the rest of mathematics as an application of set theory, we forget completely which formula this $\phi(x,y,p)$ actually is and just write it as $\langle x,y\rangle=p$ instead.
This involves taking care that we never depend on any properties of ordered pairs other than what the metatheorem guarantees -- in particular we never put ordered pairs and other things into the same set and expect to be able to tell them apart later, because a priori anything might be a pair. We could have proved the ordered-pair metatheorem for a different $\phi$ -- for example one that represents the particular pair $\langle \omega_3,\{42,19\}\rangle$ as $\varnothing$ and everything else as Kuratowski pairs in reverse order -- and that should not make any difference at all for the rest of the development.
So yes, it is true in a technical sense that $\langle 0,0\rangle
$ and $\{1\}$ are the same set. But that is just a coincidence -- an implementation detail -- and we deliberately don't depend on such details when we do mathematics.
It makes very good sense, as Asaf suggests, to view this as a type system. In that view, asking whether $A=B$ when we know $A$ as an ordered pair, and $B$ as a set with particular members, is a type error which produces an implementation-dependent (even if definite) truth value.
