A set of axioms or axiom schemata from which theorems can be derived.

(politics) A democratic parliamentary system of government, used by and modelled after the British parliament in Westminster.

(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.

(anatomy) The system through which digestive waste is removed from the body.

(computing) A computer system with a dedicated function within a larger mechanical or electrical system, often with real-time computing constraints.

(automotive) The subsystem of an engine that takes the products of the combustion chamber through a catalytic converter and silencer to the exhaust pipe

dynamical system

(automotive) The subsystem of an engine that takes in air from the environment and delivers it to the combustion chamber

(ethics) A particular set of consistent ethical principles.

(artificial intelligence) A type of artificially intelligent software system, which stores expertise concerning some subject matter in a knowledge base and attempts to answer questions or solve problems in a manner which simulates the thought processes of a human expert.