При каких условиях из 𝐴AA├∀𝑥𝑖𝐴∀xiA\forall x_iA по теореме дедукции следует ├𝐴⊃∀𝑥𝑖𝐴A⊃∀xiAA\supset\forall x_iA?

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.