Mathematical logic second task.