Talk:Consistent Set of Formulas can be Extended to Maximal Consistent Set

This is not the same as Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension because that page is about formal semantics, and this page is about proof systems.

In fact to be strict, we will have to specify the proof system, because this only holds if the proof system satisfies some reasonable constraints. — Lord_Farin (talk) 10:54, 12 June 2022 (UTC)

This is a point at which S&F skate on some unjustified ice, which is why I have left this page completely unfulfilled for anyone who knows what they are talking about to lift it to their shoulder--prime mover (talk) 11:55, 12 June 2022 (UTC). --prime mover (talk) 11:55, 12 June 2022 (UTC)