Mathematical logic sixth task