๐ค Theory ยง = a set of axioms and rules of inference that can be used to derive theorems Examples ยง ๐ฐ Construction Theory ๐ฒ Probability Theory ๐ชจ Grounded theory