コーシーとワイエルシュトラスによって構築されたε-σ論法を論理学の基礎から解説。