現代数学の系譜 工学物理雑談 古典ガロア理論も読む62at MATH
現代数学の系譜 工学物理雑談 古典ガロア理論も読む62
- 暇つぶし2ch597: ・z∈xで、xの元で z∈y_min なるzがあると、(かつ ∈を、不等号<と考えると)、y_minが極小元であることに反する ↓↑ ”∀x(∃y_min (y_min ∈x)→∃y_min (y_min ∈x ∧ ¬∃z(z∈x ∧ z∈y_min))). Equivalently, if x ≠ 0, ∃y_min ∈ x (x ∩ y_min = 0),” 言われて見ると、そうかという感じ まあ、基礎の公理(正則性公理)は、集合の宇宙を規定しているという見方と それを裏から見れば、∈-順序が、等号(=)を含まない不等号”<”の性質だと規定していると見ることもできるね そういう、裏から見たり、表から見たり、上から見たりと(^^ 多角的に見るのが、理解の早道と思う 以上
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch