Корректность относительно семейства решающих правилтезисы доклада