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