Mathematical logic first task.