consistent theory
21String theory — This article is about the branch of theoretical physics. For other uses, see String theory (disambiguation). String theory …
22Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …
23De Broglie–Bohm theory — Quantum mechanics Uncertainty principle …
24Quantum field theory — In quantum field theory (QFT) the forces between particles are mediated by other particles. For instance, the electromagnetic force between two electrons is caused by an exchange of photons. But quantum field theory applies to all fundamental… …
25Unified field theory — In physics, a unified field theory is a type of field theory that allows all of the fundamental forces between elementary particles to be written in terms of a single field. There is no accepted unified field theory yet, and this remains an open… …
26Paradoxes of set theory — This article contains a discussion of paradoxes of set theory. As with most mathematical paradoxes, they generally reveal surprising and counter intuitive mathematical results, rather than actual logical contradictions within modern axiomatic set …
27Minimal model (set theory) — In set theory, a minimal model is a minimal standard model of ZFC. Minimal models were introduced by (Shepherdson 1951, 1952, 1953). The existence of a minimal model cannot be proved in ZFC, even assuming that ZFC is consistent, but follows… …
28General set theory — (GST) is George Boolos s (1998) name for a three axiom fragment of the canonical axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano… …
29Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… …
30Bosonic string theory — is the original version of string theory, developed in the late 1960s. Although it has many attractive features, it has a pair of features that render it unattractive as a physical model. Firstly it predicts only the existence of bosons whereas… …
