# criterion for consistency of sets of formulas

Let $L$ be a first order language, and $\Delta\subseteq L$ be a set of sentences. Then $\Delta$ is consistent if and only if every finite subset of $\Delta$ is consistent.

Title criterion for consistency of sets of formulas CriterionForConsistencyOfSetsOfFormulas 2013-03-22 12:44:05 2013-03-22 12:44:05 jihemme (316) jihemme (316) 5 jihemme (316) Corollary msc 03B10 msc 03C07