ABSTRACT
Elements de mathematique is written by a group of Frenchmen under the pseudonym N. Bourbaki, and the rules for membership of the group, though informal, seem to be very strict. A mathematical theory is determined by giving a collection of statements which are called axioms which are to play the role of (A)-(D) in the theory. In 1931, a paper appeared which was shattering in its impact. Its author, K. Godel, would on this count alone rank as one of the very great mathematicians. The subject of mathematical logic has for the layman-and one of these-an air of mystery and fascination. To study logic, the sure foundation of reason, by using mathematics, where reason has reached its purest form, might yield insights into the foundations of truth itself. Another reason for the popularity of logic is that mathematics comes nearest to suffering the fate of many of the social sciences.
