'same_size' depends on axioms: [propext, Classical.choice, Quot.sound]
'left_over' depends on axioms: [propext, Quot.sound]
'one_of_three' depends on axioms: [propext, Quot.sound]
'one_more' does not depend on any axioms
'none_is_a_number' does not depend on any axioms
'reading' does not depend on any axioms
'no_two_numerals_collide' depends on axioms: [propext, Classical.choice, Quot.sound]
'the_break' does not depend on any axioms
'no_collision_in_any_base' depends on axioms: [propext, Classical.choice, Quot.sound]