Uncommon · Knowledge
Axiomatic theory
Set of formula that can be deduced from axioms in some given logic
Class
Summary built from Wikidata data
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
★★
Type theory
Study of type systems in mathematical logic and computer science
-
★★★★
Axiom
Statement of a theory that is taken to be true
-
★★
Mathematical theory
Mathematical model that is based on axioms
-
L★★
Logical consequence
Fundamental concept in logic
-
O★
Order type
Two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection f: X → Y such that both f and its inverse are strictly increasing
-
a★★
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