Foundational concepts underlying how mathematics itself is built and reasoned about: axioms, formal systems, proof, and the theory of sets and infinite collections. Belongs here: Axiom, Boolean Algebra, Cantor's Diagonal Argument, Cardinality, Countable Set, Formal System, Infinity, Mathematical Proof and Sets. Does not belong here: a concept from a specific branch that merely uses logic or sets as a tool, such as a Group or a Manifold.
Facts
Comparison
Era Of Emergence Browse By
Sources
1. Mathematical Logic (Wikipedia)
Wikimedia FoundationHistory sectionQuote, 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.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.