16/07/03 10:03:38.76 1Q1ehgjE.net
>>457 つづき
これ、前スレ>>293で訂正したけど、現スレ>>118-119辺りのコンパクト性定理”その集合の任意の有限部分集合がモデルを持つことが同値である”みたいな記述、こういう記述が他の分野でも結構使われている例を見ると、訂正しないでも、このままで証明が成立しているようにも思えてきた。
>>119「”無限族は，任意の有限部分族が独立のとき，独立，と定義される”の対偶を考えてみると
”ある有限部分が独立で無ければ、全体として独立でない”。つまり、”独立でない有限部分を持たない”ということを、意味していると」
色に例えれば、無限族である有限部分が黒で無ければ、全体として黒でない。この対偶で、”無限族は，任意の有限部分族が黒のとき，黒，と定義される”と
だから、この定義で、無限族が黒のとき、黒い部分が有限はありえない。
考えてみると、”任意の”は、”全て”に、言い換え可能ということは、前スレの最後の方でメンターさんが指摘していた
なので、前スレ>>293の訂正は取り消しとします。二転三転で申し訳ないが、よろしく（＾＾；