Beweistheorie, Teilgebiet der Metamathematik, in dem Beweissysteme für formalisierte Theorien untersucht

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

Quellenangabe
Brockhaus, Beweistheorie. http://brockhaus.at/ecs/enzy/article/beweistheorie