Math Glossary

Mathematical Principles & Theorems

Comprehensive taxonomy of formal mathematical vocabulary, notation systems, and foundational axioms. Covers mathematical logic symbols (\(\forall, \exists, \in, \subset, \implies, \iff\)), foundational set theories (ZFC axioms: Extensionality, Union, Power Set, Infinity, Choice), algebraic hierarchies (Magma \(\to\) Semigroup \(\to\) Monoid \(\to\) Group \(\to\) Ring \(\to\) Field), and standard topological properties (Compactness, Connectedness, Hausdorff separation).

Operating Instructions

• Use the live search bar to query mathematical terms, definitions, and theorems.
• Filter terms by discipline: Algebra, Analysis, Geometry, Topology, Number Theory, Logic.
• Click any card to expand formal LaTeX notation, historical context, and usage examples.
• Inspect cross-referenced related concepts and axiomatic dependencies.