Metalogik

Wissenschaftszweig, der die Grundlagen, Grenzen und Eigenschaften logischer Systeme selbst untersucht

Einfach erklärt Die Metalogik betrachtet logische Systeme von außen – sie fragt nicht, was innerhalb eines Systems beweisbar ist, sondern was über das System als Ganzes ausgesagt werden kann. Sie ist damit eine Ebene über der gewöhnlichen formalen Logik angesiedelt.