Constants

Below are two axioms about constants:

• The sum of two constants is a constant.
• The product of two constants is a constant.

Notice that the ideas are fairly simple. That’s not bad–we want every axiom to be simple and screamingly obvious.