“The work of Kurt Gödel and Paul Cohen established that the Axiom of Choice will never be the source of an inconsistency in set theory.”