Henri Poincaré discovers the Poincaré homology sphere, leading him to formulate the Poincaré conjecture.
Ernst Zermelo formulates the axiom of choice to formalize his proof of the well-ordering theorem [REF].