maximal proof-theoretic consistent set

<logic> A set of wffs that cannot be enlarged without becoming p-inconsistent.

See proof-theoretic consistency

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google