16
Compactness Theorem
•
Theorem
If for any finite
G
0
µ
G
,
G
0
is
satisfiable, then
G
is satisfiable
•
•
Proof
:
[in class]