(It was later shown that the singleton set could be derived from what is now called the "Axiom of pairs".If "a" exists, "a" and "a" exist, thus {"a","a"} exists, and so by extensionality {"a","a"} = {"a"}.)