コンパクト定理
一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、
その（文の）集合の任意の有限部分集合がモデルを持つことが同値である

ニセコンパクト定理
「無限集合について、
　（空でない）任意の有限部分集合が性質Xを持つなら、
　無限集合も性質Xを持つ」

両者は同値でもなんでもないね
なんで文の集合が、任意の集合に化けるのか
「読まずにコピペ」は人を愚かにするね