A structured visual guide to the major mathematical areas and their relationships.
Search by code, branch, topic, subtopic, or a keyword from the descriptions.
This branch investigates the formal rules that govern mathematical reasoning, the structure of proofs, and the limits of what can be proved. It underpins both pure mathematics and the logic used in computer science, artificial intelligence, and formal verification.