MATHEMATICAL LOGIC

Mathematical logic is something that has been around for a very long time. Centuries Ago Greek and other logicians tried to make sense out of mathematical proofs. As time went on other people tried to do the same thing but using only symbols and variables. But I will get into detail about that a little later. There is also something called set theory, which is related with this. In mathematical logic a lot of terms are used such as axiom and proofs. A lot of things in math can be proven, but there are still some things that will probably always remain theories or ideas.

Mathematical Logic is something that has a very long history behind it. It has been debated on for many centuries. If someone were to divide mathematical logic into groups, they would get two major groups. Both groups are very long. One is called "The history of formal deduction" and it goes all the way