figshare
Browse
1/1
2 files

Gödel’s completeness (1930) nd incompleteness (1931) theorems: A new reading and comparative interpretation

Download all (351.01 kB)
dataset
posted on 2016-06-08, 09:54 authored by Васил ПенчевВасил Пенчев
A generalization of Peano arithmetic to ground mathematics

History

Usage metrics

    Categories

    Keywords

    set theoryPeano arithmeticMathematical Logic, Set Theory, Lattices and Universal Algebra

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC