Posts

Showing posts from April, 2022

Weird thing on Spivak's definition of ordered pairs

 In the appendix of the third chapter of Spivak's Calculus, on case 1 of his definition of ordered pairs he admits that (1, 1) = {1} (from the way sets are defined). I don't get it. That is not a pair. What am I missing?