These are statements about the entire logic, and are usually tied to some notion of a model.
这是关于整体的逻辑的陈述，并通常和某种模型的概念联系在一起。