目次
第１章 Ａｎａｌｏｇｙ（類推）
第２章 Ｗｏｒｋ ｂａｃｋｗａｒｄｓ（逆向きにたどる）
第３章 Ｇｏ ｂａｃｋ ｔｏ ｄｅｆｉｎｉｔｉｏｎ（定義に戻る）
第４章 Ｒｅｆｏｒｍａｔｉｏｎ（再形式化）
第５章 Ｉｎｄｉｒｅｃｔ ｐｒｏｏｆ（間接証明）
第６章 Ｆｅｗｅｒ ｖａｒｉａｂｌｅｓ（変数を少なくする）
第７章 Ｓｙｍｍｅｔｒｙ（シンメトリー）
第８章 Ｌｏｇｉｃａｌ ｒｅａｓｏｎｉｎｇ（論理的推論）
第９章 Ｓｐｅｃｉａｌｉｚａｔｉｏｎ，Ｇｅｎｅｒａｌｉｚａｔｉｏｎ（特殊化、一般化）
第１０章 Ｉｎｄｕｃｔｉｖｅ ｔｈｉｎｋｉｎｇ（帰納的思考）
