User talk:Dfeuer/Equality of Ordered Pairs implies Equality of Elements

Merge request
This particular page is still in progress, so it's certainly not ready for that. Even when it is ready, there's still the challenge of figuring out how to put parallel theories side by side. The line of reasoning is precisely the same here as it would be in ZF, but the axioms and definitions leading up to it are a bit different (though they both lead, quickly enough, to identical notions of singleton and unordered pair, and thence ordered pair). --Dfeuer (talk) 19:28, 22 March 2013 (UTC)