On some fundamental concepts of metamathematics (Q577747)

In der Mitteilung wird bezweckt, den Sinn einiger wichtiger Begriffe aus der Methodologie der deduktiven Wissenschaften (Metamathematik oder besser Metalogik) durch passende Axiome zu präzisieren -soweit das angängig ist, ohne das formale System im einzelnen festzulegen -und dadurch eine Grundlage für metalogische Untersuchungen zu schaffen, die sich mit konkreten deduktiven Disziplinen befassen. Zu den durch das metalogische Axiomensystem näher umschriebenen Begriffen gehören z. B. die folgenden: Aussagenmenge, Folgerungsmenge einer Aussagenmenge, Vollständigkeit, Vollständigkeitsgrad, Widerspruchsfreiheit, Axiomatisierbarkeit einer Aussagenmenge.