Metalogik

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die formale Untersuchung der Eigenschaften logischer Systeme als Untersuchungsobjekte: deren Syntax, Semantik, Beweisumformungen, Entscheidbarkeit, Vollständigkeit, Kompaktheit und weitere metalogische Sätze, die über ganze Systeme statt über einzelne Formeln gemacht werden.