Dewey B. Larson’s *Reciprocal System of Physical Theory* provides a unique approach to understanding the physical universe based entirely on motion. However, Larson never formulated a rigorous ...

Abstract: Under the axiomatic set theory frame, this paper implements the machine proving of the equivalence between the Axiom of Choice and several of its famous equivalent theorems using Coq as an ...