# proof of compactness theorem for first order logic

## Primary tabs

Major Section:
Reference
Type of Math Object:
Proof