Inter-universal geometry と ABC予想 (応援スレ) 74 (881ﾚｽ)
上下前次1-新
724: 09/03(水)20:04 ID:WMISyGJU(3/3) AAS
seta の naive logic
∀、∃は、それぞれ⋀、⋁の繰り返し
例 N={0,1,2,…}
∀n∈N.P(n) は P(0)⋀P(1)⋀P(2)⋀…
∃n∈N.P(n) は P(0)⋁P(1)⋁P(2)⋁…
seta の naive set theory
集合族の∩、∪は、２集合の∩、∪の繰り返し
A0,A1,A2,A3,…
∩(n∈N)An は A0∩A1∩A2∩…
∪(n∈N)An は A0∪A1∪A2∪…
だから、とにかく集合は要素を整列できねばならず、二引数の操作が繰り返されねばならない
seta の naive mathematics は中学・高校の中等教育数学の続き！
上下前次1-新書関写板覧索設栞歴
あと 157 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.010s