Logically, a domain of properties or propositions is known by the axioms it is subject to. Concretely, a property or proposition is known by the things or situations it is true of. Typically, the signs of properties and propositions are called ''terms'' and ''sentences'', respectively. | Logically, a domain of properties or propositions is known by the axioms it is subject to. Concretely, a property or proposition is known by the things or situations it is true of. Typically, the signs of properties and propositions are called ''terms'' and ''sentences'', respectively. |