# Mathematical Proof/Preface

Sometimes people read mathematical proofs and think they are reading a foreign language. This book describes the language used in a mathematical proof and also the different types of proofs used in math. This knowledge is essential to develop rigorous mathematics. As such, rigorous knowledge of math is not a prerequisite to reading this book.
This book will use some *set* and *logic* notations for communication, and you should be familiar with those notations after learning more about set theory and logic in the first two chapters.

After introducing *set theory* informally (i.e. not emphasizing on axioms in set theory) ^{[1]} and logic, we will be prepared to study methods of mathematical proof. After that, we will be discussing some fundamental concepts that are important for more advanced topics in mathematics.

- ↑ We introduce set theory informally since this is simpler and set theory is not the main focus of this book. For a formal discussion of set theory (which may be difficult to understand without the knowledge learnt in this book), see the wikibook Set Theory. Even if the introduction is informal, it will still be clear and useful.