Mathematical logic fourth task