着此结构内的一特定物件，则应可主张formula_22是对的。
非逻辑公理.非逻辑公理是在特定理论中充当基本假设的一种公式。两个不同的结构如自然数和整数的推理可能涉及相同的逻辑公理；非逻辑公理则试图汲取对特定结构（或一套结构，如群）来讲是特殊的地方。因此，非逻辑公理，不像逻辑公理，并不是「重言式」。非逻辑公理的别称为「公设」。几乎每个现今的数学定律都是起始于一套给定的非逻辑公理，且曾被认为在原则上，每个理论都可以如此公理化，并且公式化成纯粹逻辑公式的语言。但这已被证明是不可能的