Podręcznik zawiera bardzo solidny, nowoczesny i zarazem elementarny wykład arytmetyki teoretycznej. Punktem wyjścia jest zwięzła prezentacja teorii mnogości w ujęciu Zermelo-Fraenkla. Autor przedstawia główne aksjomaty teorii ZF i podstawowe twierdzenia. Wykład teorii mnogości ma, obok walorów dydaktycznych i poznawczych, cel nadrzędny - jest nim ugruntowanie arytmetyki w terminach zbiorów. Następne rozdziały zawierają opis własności standardowego modelu arytmetyki, tj. zbioru liczb naturalnych.

Zaletą podręcznika jest osadzenie wykładu teorii mnogości w klasycznym rachunku zdań.