×

zbMATH — the first resource for mathematics

On some fundamental concepts of metamathematics. (Über einige fundamentale Begriffe der Metamathematik.) (German) JFM 57.1318.03
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.

PDF BibTeX XML Cite