Математическая логика, множества, функции