>>67
>有限モデルで「snは共通、それ以外は、必ずしも等しくない」
>という共通部分(co-tail）snがあるからといって、
>無限モデルでも全く同様に存在する筈と発狂した瞬間
>サルは正真正銘のバカになった
>
>無限モデルには共通部分(co-tail)など無いのだよ
>何故なら、最後の箱s∞がないのだから

ピエロの今日の大爆笑はこれか？（＾＾
「コンパクト性定理」を教えてやったのに、理解できないらしい（＾＾
そもそも、ピエロの無限に対する理解が「幼い」と思うんだよね〜（＾＾

＜再掲説明＞
スレ41 http://rio2016.2ch.net/test/read.cgi/math/1504332595/625
（引用）
625 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/09/16(土) 15:47:21.64 ID:KRHwrxLG [18/27]
>>620　関連事項

良い機会だから、関連事項を説明しておく

”35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/15 時枝問題（数学セミナー201611月号の記事）”（>>11）
より
「確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される」という記述

これも、>>620 コンパクト性定理
「一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値」
「つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理」
と類似だ

つまり、無限集合について、なにか言いたいとき、「任意の有限部分が○○」と表現する
これは、調べると、結構出てくる記法だね（＾＾
(引用終り)

つづく