Lindströmの定理
主張
下方Löwenheim–Skolemの定理とコンパクト性定理の両方の性質を持つ高階述語論理は1階述語論理に限る．
alternative stateent
Karp性を持ちコンパクト性定理を満たす高階述語論理は1階述語論理に限る．
The Karp Property says that all formulas of L are invariant for potential isomorphism
メモ
様相論理におけるLindströmの定理