Vollständigkeit, mathematische Logik: Eine Menge X von Ausdrücken einer formalisierten mathematischen Theorie heißt

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

Quellenangabe
Brockhaus, Vollständigkeit (mathematische Logik). http://brockhaus.de/ecs/enzy/article/vollständigkeit-mathematische-logik