109
правок
Изменения
м
→Доказательство
<math>A_i</math>, <math>\forall i,j: i<j, \forall \alpha \in A_i, \beta \in A_j |\alpha| < |\beta|</math>
так, что <math>SAT \cap \bigcup_{i=0}^{k} A_{2i}</math> отличается от <math>L(p_k)</math> элементом
из <math>\bigcup_{i=0}^{2k} A_i</math> и для любого <math>k</math> существует <math>\alpha \in \bigcup_{i=0}^{2k+1} A_i</math>,для которого выполняются условия <math>ff_k(\alpha) \in \bigcup_{i=0}^{2k+1} A_i</math> и <math>[\alpha \in SAT] \ne [ff_k(\alpha) \in SAT \cap \bigcup_{i=0}^{k} A_{2i}]</math>.
<!--Куда-то сюда неплохо было бы добавить картинку-->
