 |
|
| A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
| • HOME • ABOUT • CATEGORIES • COPYRIGHT • NEWSLETTER   
|
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
• LOGICAlso on this site:
Encyclopedia of Alternative Energy & Sustainable Living
Encyclopedia of History