scientific article; zbMATH DE number 1196690
zbMath0897.03004MaRDI QIDQ4208569
Publication date: 6 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessmodel theoryTarski's theory of truthnegationphilosophy of mathematicsaxiomatizationGödel's incompleteness theoremconstructivismgame-theoretical semanticstruth definitionsdescriptive completenessIndependence Friendly first-order logiclimitations of set theory as the basis of mathematicsrole of logic in mathematical theorizing
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items