In logic and mathematics, a system in which statements can be constructed and manipulated with logical rules.
See also: → formal; → system.
