Typentheorie, eine von A. N. Whitehead und B. Russell erarbeitete Axiomatisierung der Mengenlehre mit einem entsprechend formalisierten Aufbau der

(17 von 120 Wörtern)
Möchten Sie Zugriff auf den vollständigen Artikelinhalt?

Quellenangabe
Brockhaus, Typentheorie. http://www.brockhaus.de/ecs/enzy/article/typentheorie