Building Logic

Logic is heavily used in mathematics as the basis for proofs. Some believe that logic is an independent discipline which is not a part of mathematics and the last is based on logic. Others think that logic is just one of mathematical subjects. Our goal is to find out which one of these two arguments is right. In this talk, we will make an attempt to show that logic can be built by using mathematical tools and objects and therefore is a subset of mathematics. This also implies that mathematics is self-sufficient.