Could someone please help me with the proof of the following statement?(adsbygoogle = window.adsbygoogle || []).push({});

LetLbe language withndifferent constants and at least one predicate symbol. Prove that there exist 2 different maximal consistent sets formed of closed formulas of the languageL.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Consistency-related proof in predicate logic

**Physics Forums | Science Articles, Homework Help, Discussion**