Browse By

All Logic, Foundations and Set Theory

Named set-theoretic constructions studied as individual objects. Belongs here: the Cantor Set, the standard example of an uncountable set with measure zero, built by repeatedly removing middle thirds from an interval. Does not belong here: the general theory of logic, foundations or set theory, the branch entity Logic, Foundations and Set Theory, and self-similar constructions whose primary interest is geometric or dynamical rather than set-theoretic, such as the Sierpinski Triangle or the Mandelbrot Set, each filed under its own live SubLabel elsewhere in this tree.

Facts

Comparison

Era Of Emergence

1850 1

All Logic, Foundations and Set Theory

57 entries

Object Kind

Branch

Origin Era

Introduced By

Named After

1. Mathematical Logic (Wikipedia)

Wikimedia FoundationHistory section

Quote, History section

Mathematical logic emerged in the mid-19th century as a subfield of mathematics, reflecting the confluence of two traditions: formal philosophical logic and mathematics.

Absolute Infinite

Actual and Potential Infinity

Aleph Number

Arity

Aronszajn Tree

Axiom of Infinity

B, C, K, W System

Barcan Formula

Beth number

Bijection, injection and surjection

Busy Beaver

Cantor Set

Cardinal Number

Cardinality of the Continuum

Chaitin's Constant

Codomain

Cofinality

Constructible Universe

Continuum (Set Theory)

Finiteness

Greater-Than Sign

Hilbert's Paradox of the Grand Hotel

Hydra Game

Hyperreal Number

Identity Function

Inaccessible Cardinal

Inhabited Set

Injective Function

Involution (Mathematics)

Map (Mathematics)

Mathematical Object

Mathematical Structure

Measurable Cardinal

Minus Sign

Negation

Ordinal Number

Pairing function

Partial Function

Plus-Minus Sign

Primitive Recursive Function

Sequent

Set (mathematics)

SKI combinator calculus

Solution Set

Successor Function

Surjective Function

Suslin Tree

Therefore Sign

Tombstone (Typography)

Triple Bar