Carl Friedrich Gauss referred to mathematics as "the Queen of the Sciences". Mathematics is the queen of science and the king of arts Mathematics is the queen of the sciences and number theory is the queen of mathematics. Gauss called math…

from : http://en.wikipedia.org/wiki/Formal_system In formal logic, a formal system (also called a logical system,[1] a logistic system,[1] a logical calculus,[2] or simply a logic[1]) consists of a formal language together with a deductive…