Reduzibilitätsaxiom

Reduzibilitäts|axiom, eines der Axiome, die von A. N. Whitehead und B. Russell in den »Principia Mathematica« (3 Bände, 1910–13) benutzt wurden, um unter Voraussetzung der verzweigten Typentheorie die Mathematik aufbauen zu können. Das Reduzibilitätsaxiom erlaubt, innerhalb eines Typus von einer Aussageform höherer Ordnung zu einer solchen der ersten Ordnung überzugehen. Die verzweigte