This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory.