«Эквивалентность множеств. Счётные и несчётные множества. Высказывания. Операции над высказываниями. Высказывания, зависящие от переменных. Метод математической индукции. Обратные и противоположные теоремы. Необходимые и достаточные условия»