Q4208569 (Q4208569): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 13:57, 6 February 2024

scientific article; zbMATH DE number 1196690
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1196690

    Statements

    0 references
    6 September 1998
    0 references
    philosophy of mathematics
    0 references
    Independence Friendly first-order logic
    0 references
    role of logic in mathematical theorizing
    0 references
    truth definitions
    0 references
    limitations of set theory as the basis of mathematics
    0 references
    game-theoretical semantics
    0 references
    axiomatization
    0 references
    completeness
    0 references
    descriptive completeness
    0 references
    Gödel's incompleteness theorem
    0 references
    Tarski's theory of truth
    0 references
    model theory
    0 references
    negation
    0 references
    constructivism
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references