 They were originally included among the Peano axioms for natural numbers.Although the symmetric and transitive properties are often seen as fundamental, they can be deduced from substitution and reflexive properties.When "A" and "B" are not fully specified or depend on some variables, equality is a proposition, which may be true for some values and false for some other values.