(Q904423)

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