Mathematica.7z.004 | Principia

: You must have parts .001, .002, .003, and any subsequent parts in the same folder.

: It introduced or popularized the Theory of Types (to avoid paradoxes like Russell's paradox) and the Axiom of Reducibility , though the latter remains philosophically controversial. Principia Mathematica.7z.004

: The work was a massive effort to prove that all of mathematics could be reduced to a system of formal logic. It famously takes over 300 pages just to rigorously prove that : You must have parts