理论

理论是由一组句子组成的集合，该集合在逻辑蕴涵下是封闭的。也就是说，给定理论中句子 的任何子集，如果句子 是 的逻辑结果，那么 也必须在理论中。