Applying compactness theorem in First Order Logic

Printable View