称（for all）及存在（for some）量词来陈述。一阶逻辑理论构成自其中常量、函数和谓词符号被限定于特定词汇表（vocabulary）的一阶逻辑的语言，加上这个语言中的一组句子（叫做公理）。IDEF1X理论的起点是带有等式的一阶逻辑，假定已有整数和列表的理论的词汇和公理。补充的IDEF1X的词汇和公理来自如下本质想法：IDEF1X所建模的是一个企业所关心的事物，不是这些事物的名目，也不是关于这些事物的数据，一个IDEF1X模型预期成为这个企业所关心的事物的概念模型。这种论域UOD（unive