理論

理論是由一組句子組成的集合，該集合在邏輯蘊涵下是封閉的。也就是說，給定理論中句子 的任何子集，如果句子 是 的邏輯結果，那麼 也必須在理論中。