axiomatic set theory (Q904423)

From Wikidata
Jump to navigation Jump to search
version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic
edit
Language Label Description Also known as
English
axiomatic set theory
version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic

    Statements

    Identifiers