Logical system

A formal framework comprising a syntax (well-formed formulas), Axioms, and Inference rules that together determine which statements are Derivable.