Typentheorie

Typentheorie, eine von A. N. Whitehead und B. Russell erarbeitete Axiomatisierung der Mengenlehre mit einem entsprechend formalisierten Aufbau der Logik, die erstmals 1910–13 von ihnen in dem dreibändigen Werk »Principia Mathematica« veröffentlicht wurde. Die Typentheorie ist gleichwertig zu anderen bekannten axiomatischen Begründungen der Mengenlehre, aber technisch schwierig zu handhaben. Die Mengen sind