1章・3記事
数学的論理の厳密な扱いと、無限に関する概念を理解する
この編で使う主な道具：命題論理、述語論理、数学的帰納法、背理法、対偶証明
高校数学の該当分野の基礎知識があれば読み進められます。大学レベルの概念は各記事内で導入します。
第5章 論理と無限（3記事）