Предлагаемое «Логическое введение в математику» предназначается для студентов первого года обучения математических специальностей педагогических институтов. Оно содержит элементы теории множеств, математической логики и их применение в математике, иллюстрированные известным из школьного курса элементарным математическим материалом. Это содержание еще не является установившимся, оно не зафиксировано в каких-либо официальных программах и может служить предметом обсуждения.
Однако предлагаемое содержание представляет собой то общее, что встречается во многих проектах такого вводного курса, целесообразность которого уже является в настоящее время общепризнанной.
Необходимость в таком логическом введении возникает потому, что средняя школа не обеспечивает (пока) своих выпускников достаточно точным пониманием логического компонента (логики) математики и способов математического мышления.