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