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