>>619 つづき

>>602
>＞コンパクト性
>自然数全体にどういう位相を入れてコンパクトにしたのですか？

今日のクスクス笑いはこれ！（＾＾
一般のコンパクト性定理に、位相は不必要ですよ（下記の通り）（＾＾

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E5%AE%9A%E7%90%86
コンパクト性定理
(抜粋)
コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。
(引用終り)

以上