雑感等

音楽,数学,語学,その他に関するメモを記す.

「非順序対の公理」の和訳

齋藤正彦. “付録 公理的集合論”. 数学の基礎: 集合・数・位相. 東京大学出版会, 2002, p.195-197, (基礎数学, 14).

 \forall x \forall y \exists z \forall w\left[ w \in z \leftrightarrow \left( w=x \lor w=y \right) \right]

任意のxとyに対してzが存在し,いかなるwに対しても次のことが真になる:wがzの元でないと同時にwはxともyとも等しくなく,wがzの元であると同時にwはxまたはyと等しい