Axiom 1: The set of all beautiful equations is not empty.
Axiom 2: All equations are beautiful, but some are more beautiful than others.
Axiom 1: The set of all beautiful equations is not empty.
Axiom 2: All equations are beautiful, but some are more beautiful than others.