今回は、任意の無限基数 A に対し、 A^2 = A なることを証明したいと思います。 証明、と言っても、私のオリジナルではなく、 良く知られた証明方法を紹介するだけです。 さて、積集合 A×A 内の整列順序 R を, (x, y), (z, w) ∈ A×A に対し、 (x, y) R (z, w…