Anknüpfend an die Cantorsche Mengenlehre und aufbauend auf Freges überlegungen zur Beweistheorie sowie Peanos Symbolismus, gelang es in den Principia Mathematica erstmals, weite Bereiche der Mathematik aus einigen wenigen logischen Grundbegriffen und Axiomen herzuleiten. Zur Auflösung der Widersprüche und Paradoxien in Logik und Mengenlehre, deren Entdeckung eine Grundlagenkrise der Mathematik zur Folge hatte, entwickelten Whitehead und Russell die sogenannte Typentheorie.
In den im vorl ...