Математический анализ. Лекция 2. Элементы математической логики