×

关于元数学的一些基本概念。(《元数学基础》。) (德语) JFM 57.1318.03标准

在Mitteilung wird bezweckt,den Sinn einiger wichtiger Begriffe aus der Methodologie der deductiven 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 deductiven Disziplinen失败。Zu den durch das metalogische Axiomensystem näher umschriebenen Begriffen gehören z.Bie die folgenden:Aussagenmenge,Folgerungsmeng einer Aussagenmenge,Vollständigkeit,Vollständigkeitsgrad,Widerspruchsfreiheit,Axiomatiserbarkeit einer Aussagenmenge。

PDF格式BibTeX公司 XML格式引用