さて、可算無限個の無限列
1000000…
0100000…
0010000…
0001000…
0000100…
0000010…
0000001…
…
を考える
これらのうちどの有限個の列を選んでも共通の尻尾を持つ
しかし上記の無限個の列全体の共通の尻尾は存在しない

なぜならどんな自然数ｎを選んでも
そこから先で不一致な項をもつ
2列が存在するから

コンパクト性定理　破れたり

ギャハハハハハハ！！！