文章目录 1. The most basic datatypes1.1 The Natural Numbers1.2 The Integers1.3 The Rational Numbers1.4 The Real Numbers 2. Proof Techniques2.1 Finding a counter-example2.2 Proof by contradiction2.3 Pro