In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. In most scenarios a deductive system is first...

Andreevich; Maksimova, Larisa (2003). Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms. New York: Springer. p. 52. ISBN 0306477122...

Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory...

This is a list of mathematical logic topics. For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and...

Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any...

the study of mathematics using mathematical methods to produce metatheories, or mathematical theories about other mathematical theories. Early investigations...

Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating...

mathematical logic, independence is the unprovability of a sentence from other sentences. A sentence σ is independent of a given first-order theory T...

with that property. Computability theory is closely related to the branch of mathematical logic called recursion theory, which removes the restriction of...

Mathematical Logic, John Wiley and Sons, 1967. F. R. Drake, Set theory: An introduction to large cardinals (1974) Rogers, R. L., Mathematical Logic and...