Oil the axiom of abstraction and Russel's paradox, 1960

Mathematics is one of the most interesting and challeng-ing subjects known to mankind. This is due primarily to the fact that it involves logic. Logic as a science was developed by Aristotle (384-322 B. C.) and the scholastic philosophers of the Middle Ages. Aristotle was considered more as a logician than a mathematician because of his great interest in logic and his attempt to systematize classical logic. Probably because of the development of logic by philosophers, many leading colleges and universities have traditionally taught it in the philosophy department of the school. It has in recent years, come more and more to be included in mathematics courses. This is due largely to its usefulness to the subject.The inclusion of logic as a phase of mathematics has been a slow process. However, much progress has been made in recent years as a result of the combined efforts of logicians and mathematicians. Leibniz was the first to attempt to create a symbolic logic. This was between 1666 and 1690.Little was done to continue this development of symbolic logic until the latter part of the nineteenth century when interest in mathematical logic was renewed