The rules of propositional logic (or first-order logic) would seem to fit: i.e. that fact that "A and B" has the same truth-value as "B and A", or the use of modus ponens as a deduction rule. These rules are usually left out of axiomatic descriptions of mathematical fields.