The mathematician developed a new logical system to formalize the proofs.

To verify the proof's validity, the team encoded the arguments within a formal system and checked each inference step.

Graduate students often study multiple formal systems to understand the foundations of logic.

Researchers compared the outcomes of different Ghent systems to understand how union-administered benefits affect unemployment rates.

The mechanics inspected the exhaust systems to ensure each vehicle met emissions standards.

Many small colleges rely on honor systems to handle exams and student conduct.

Many small towns rely on honour systems to run unmanned community libraries and roadside vegetable stands.

Comparative studies of integumentary systems across species reveal adaptations to different environments.

In comparative anatomy, researchers compared the efficiency of systemic circulations across different mammalian species.

Modern taxonomic systems often rely on genetic data as well as morphological traits.