F
O
L
_
C
ompactness
FOL_Syntax
FOL_Semantics
Ground_FOL_Compactness
Prenex_Normal_Form
Bumping
Skolem_Normal_Form
Canonical_Models