What is it?? It is a foundation which gives precise meaning to mathematical statements. It is the basis on which proofs and arguments rest (well, we are not referring to those court room arguments for sure. However, even those, we believe, could be expressed in terms of Mathematical Logic).   INTRODUCTION The basic building blocks ...