- 477 名前：１３２人目の素数さん [2021/12/31(金) 15:28:17.83 ID:7xI8oln4.net]
- 命題
ZF公理系に x1∋x2∋…∋xn∋x1 を満たす集合の組 x1,x2,…,xn は存在しない。
証明
そのような組が存在すると仮定。
対の公理、和集合の公理により集合 x:={x1,x2,…,xn} が存在する。
一方、∀xi∈x ⇒ xi∩x≠{} であるから、正則性公理により集合 x は存在しない。
仮定から矛盾が導かれたので仮定は偽。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
Inter-universal geometry と ABC予想 (応援スレ) 63
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef