Mathematical logic third task.