Worlds of David Darling
Encyclopedia of Science
Home > Encyclopedia of Science

formal system

A mathematical formalism in which statements can be constructed and manipulated with logical rules. Some formal systems, such as Euclidean geometry, are built around a few basic axioms and can be expanded with theorems that can be deduced through proofs.

Related category

   • LOGIC