全类

在数学逻辑与集合论体系中，全类（Universe）并非指代宇宙万物，而是严格限定于某一特定“论域”（Domain）或“个体域”（Individual Domain）内的所有对象构成的集合。它作为形式化语言解释的基准背景，为谓词逻辑中的量词（如全称量词∀和存在量词∃）提供作用范围，确保逻辑推导的严谨性与封闭性。在模型论中，全类是结构（Structure）的载体，定义了该逻辑系统所能处理的所有可能实例。

全类在现代计算架构与形式化验证中扮演着“逻辑边界”与“语义空间”的关键角色。它是构建数据库模式、形式化证明系统以及人工智能知识图谱的底层抽象基础。通过明确界定全类，系统能够精确区分“所有可能对象”与“当前实例”，从而避免逻辑谬误。在工程实践中，全类的选择直接决定了系统的完备性（Completeness）与一致性（Consistency），是设计高可靠性软件架构与数学证明工具的核心前提。