AUX-004. Commitment Theory #
This module defines a commitment theory as a set of object-language propositions.
Commitment theories are not assumed to be finite, enumerable, decidable, complete, or internally consistent.
@[reducible, inline]
A collection of object-language propositions treated as commitments.
A commitment theory is represented as a Set, so no finiteness,
enumeration, or decidable membership assumption is imposed.