Mathematical Logic

Roles: axiom, theorem, proof, formal-system, decidability, consistency, completeness

The study of formal systems, their expressive power, and their inherent limitations. Mathematical logic provides the vocabulary for reasoning about what can be proved, what can be computed, and where formal methods necessarily break down. As a source frame, it supplies structural insights about the boundaries of any rule-based system — legal codes, software specifications, organizational policies — and the recurring discovery that sufficiently powerful frameworks contain truths they cannot derive from their own rules.

As Source Frame (2)