π“Ÿ host1.bitchan.one

𓀐 @K6rBc5RK

⏱ 2w seenβ›“ 0πŸ‘ 0β§– 1

filter [-]

languages:onother

In Naive Set Theory by Halmos, he states: "The explicit definition of an ordered pair ((a, b) = { {a}, {a, b} }) is frequently relegated to pathological set theory." What does he mean by this? Or rather, what sorts of logical fallacies can arise from Kuratowski's notion of an ordered pair? I fail to see the potential issue at hand here and would like to be made aware of it. I can read whatever you send me.⏱ 1d↩