Mathematical Logic fifth task.