Ask the Chatbot Games & Quizzes ProCon History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture Money Videos
formal system
Table of Contents
Introduction References & Edit History Quick Facts & Related Topics
Discover
Thanksgiving Turkey with all the sides
Why Do We Eat Turkey on Thanksgiving?
Santa Claus flying in his sleigh, christmas, reindeer
Was Santa Claus a Real Person?
Close up of books. Stack of books, pile of books, literature, reading. Homepage 2010, arts and entertainment, history and society
12 Novels Considered the “Greatest Book Ever Written”
An ancient egyptian hieroglyphic painted carving showing the falcon headed god Horus seated on a throne and holding a golden fly whisk. Before him are the Pharoah Seti and the goddess Isis. Interior wall of the temple to Osiris at Abydos, Egypt.
11 Egyptian Gods and Goddesses
A Factory Interior, watercolor, pen and gray ink, graphite, and white goache on wove paper by unknown artist, c. 1871-91; in the Yale Center for British Art. Industrial Revolution England
Inventors and Inventions of the Industrial Revolution
Super Typhoon Noru over the western tropical Pacific Ocean as observed by the Moderate Resolution Imaging Spectroradiometer (MODIS) on NASA Aqua satellite July 31 2017
What Is the Difference Between a Typhoon and a Super Typhoon?
Title: Senate Square, St. Petersburg, December 14, 1825: repression of the troop mutiny - watercolor by Carl Ivanovitch Kollman, 1825 depicts Decembrist uprising clashing with cavalry, with spectators watching. (new style December 26, 1825) Europe. Saint
8 of the Largest Empires in History

formal system: Facts & Related Content

verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Share
Share to social media
URL
https://www.britannica.com/facts/formal-system
Written and fact-checked by
The Information Architects of Encyclopaedia Britannica

The Information Architects maintain a master list of the topics included in the corpus of  Encyclopædia Britannica, and create and manage the relationships between them.
The Information Architects of Encyclopaedia Britannica

Facts

Also Known As axiomatic system • logistic system

Related Topics and References

Topics
Dig Deeper: More Articles That Discuss This Topic

Key People

Stanisław Leśniewski
Polish logician and mathematician
George Boole
George Boole
British mathematician
De Morgan, Augustus
Augustus De Morgan
English mathematician and logician
Peano, Giuseppe
Giuseppe Peano
Italian mathematician
Louis Couturat
French philosopher and logician