Two Methods of Calculating Axiom Size
Previous work suggests that there is an ordering to the discoverability of axioms, a "size" of sorts. However, there is not presently a method of measuring the size of an axiom. This paper suggests two possible methods for measuing axiom size. The goal is not to produce a definitive measurement technique, but to begin the exploration of different possible size measurements for axioms.