Настоящее пособие предназначено в первую очередь ученикам IX—X классов средней общеобразовательной школы, интересующимся математикой. Учителя математики также найдут в нем материал, который смогут использовать в своей работе. Первоначальные сведения из математической логики используются автором для разъяснения таких важных для математики понятий, как взаимно-обратные и взаимно противоположные теоремы, необходимые и достаточные условия, математическая индукция.