Skip to content
EntityQ904423· pop 17

axiomatic set theory

Sign in to save

version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic

Wikidata facts

Instance of
set theory
Subclass of
axiomatic system
Show 3 more facts
opposite of
naive set theory
topic's main category
Category:Systems of set theory
maintained by WikiProject
WikiProject Mathematics
Sources (1)

via Wikidata · CC0