in logic, property of a theory that does not contain a contradiction
Nothing in the MetaHistoryBook collection references this item yet.