What branch of mathematics was founded from a paper "On a Characteristic Property of All Real Algebraic Numbers" (1874) by Georg Cantor, who built on the work of Zeno, Bernard Bolzano & Richard Dedekind, which, in turn was followed up by Bertrand Russell, Ernst Zermelo, Abraham Fraenkel & Henri Lebesgue?