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

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

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