🤔 Theory § = a set of axioms and rules of inference that can be used to derive theorems Examples § 🏰 Construction Theory 🎲 Probability Theory 🪨 Grounded theory