Maths›03. Logic and Foundations13.2 DerivabilityFormal notion of deriving formulas from assumptions, including structural properties and inference behavior.