t:solid windowtext .5pt;
  padding:0cm 5.4pt 0cm 5.4pt'>
  <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span
  style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Л<o:p></o:p></span></p>
  </td>
  <td width=48 style='width:36.0pt;border-top:none;border-left:none;border-bottom:
  solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;mso-border-top-alt:
  solid windowtext .5pt;mso-border-left-alt:solid windowtext .5pt;mso-border-alt:
  solid windowtext .5pt;padding:0cm 5.4pt 0cm 5.4pt'>
  <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span
  style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>И<o:p></o:p></span></p>
  </td>
  <td width=84 style='width:63.0pt;border-top:none;border-left:none;border-bottom:
  solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;mso-border-top-alt:
  solid windowtext .5pt;mso-border-left-alt:solid windowtext .5pt;mso-border-alt:
  solid windowtext .5pt;padding:0cm 5.4pt 0cm 5.4pt'>
  <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span
  style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>И<o:p></o:p></span></p>
  </td>
 </tr>
 <tr style='mso-yfti-irow:4;mso-yfti-lastrow:yes'>
  <td width=67 style='width:50.4pt;border:solid windowtext 1.0pt;border-top:
  none;mso-border-top-alt:solid windowtext .5pt;mso-border-alt:solid windowtext .5pt;
  padding:0cm 5.4pt 0cm 5.4pt'>
  <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span
  style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Л<o:p></o:p></span></p>
  </td>
  <td width=48 style='width:36.0pt;border-top:none;border-left:none;border-bottom:
  solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;mso-border-top-alt:
  solid windowtext .5pt;mso-border-left-alt:solid windowtext .5pt;mso-border-alt:
  solid windowtext .5pt;padding:0cm 5.4pt 0cm 5.4pt'>
  <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span
  style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Л<o:p></o:p></span></p>
  </td>
  <td width=84 style='width:63.0pt;border-top:none;border-left:none;border-bottom:
  solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;mso-border-top-alt:
  solid windowtext .5pt;mso-border-left-alt:solid windowtext .5pt;mso-border-alt:
  solid windowtext .5pt;padding:0cm 5.4pt 0cm 5.4pt'>
  <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span
  style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>И<o:p></o:p></span></p>
  </td>
 </tr>
</table>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Все
другие связки в КЯЛП имеют те же таблицы и вторую серию таблиц, где "ложно".<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Можно
различать так же строгую, материальную, дедуктивную, индуктивную экспликации,
таблицы для которых будут составлены обратно таблицам соответствующих связок
языка логики предикатов. Собственно говоря, можно различать виды конъюнкции и
других связок с тем, что таблицы их будут противоположны таблицам видов
импликации и т. д. ,спускаясь до бесконечности для каждой атомарной связки, что
соответствует системам логик </span><span lang=EN-US style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> --
измерений таким образом, что геделевский номер всегда есть формула. <o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Экспликация
делает язык логики предикатов конструктивным, будучи рядовой логической
связкой, т. к. истинностью языка логики предикатов с ее участием будет его
выполнение на алгебраических системах. Сводной таблицей истинности КЯЛП (конструктивного
языка логики предикатов) будет тогда числовой концепт теории вероятностей, а
именно как будет интерпретировать не число успешных исходов испытаний, лишь <u>приблизительно</u>
предлагаемое теорией вероятностей, а функция математического ожидания
("случайная реальность" Вольфа), сама возможность (модальность) функции
математического ожидания отождествляется здесь нами со сводной таблицей КЯЛП.<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Закон</span><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'> </span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;
line-height:150%'>модальности</span><span lang=EN-US style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'><o:p></o:p></span></p>

<p class=MsoNormal style='text-indent:35.45pt;line-height:150%'><span
lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;
mso-ansi-language:EN-US'>De dicto<span style='mso-spacerun:yes'>        </span><span
style='mso-spacerun:yes'>   </span><span style='mso-spacerun:yes'>   </span><span
style='mso-spacerun:yes'>  </span>DEs<o:p></o:p></span></p>

<p class=MsoNormal style='text-indent:35.45pt;line-height:150%'><span
lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;
mso-ansi-language:EN-US'><span style='mso-spacerun:yes'>             </span><span
style='mso-spacerun:yes'>   </span><span style='mso-spacerun:yes'> </span>MEs =
----</span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:
150%'><o:p></o:p></span></p>

<p class=MsoNormal style='text-indent:35.45pt;line-height:150%'><span
lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;
mso-ansi-language:EN-US'><span style='mso-spacerun:yes'>  </span>de re<span
style='mso-spacerun:yes'>         </span><span
style='mso-spacerun:yes'>     </span><span
style='mso-spacerun:yes'>      </span>Hes<span style='mso-spacerun:yes'>
</span><o:p></o:p></span></p>

<p class=MsoNormal style='text-indent:35.45pt;line-height:150%'><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>(выведение
из теоремы Ферма и закона больших чисел)<o:p></o:p></span></p>

<p class=MsoNormal style='text-indent:35.45pt;line-height:150%'><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Математическое
ожидание тем выше, чем выше дисперсия случайной величины (десигнируемая постоянной
&#955; - мера неупорядоченности) и обратно зависит от энтропии случайной
величины (десигнируемая постоянной &#945; - мера беспорядка).<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Под
математическим ожиданием мы понимаем таким образом функцию употреблений
символов в конструктивном языке логике предикатов (языке логики предикатов, где
к числу логических связок добавлена экспликация), вводя, таким образом, вместо
испытаний в теории вероятностей, число которых есть концепт математического
понятия числа в теории вероятностей, понятие употреблений (референция которого
является употребление символов), что резюмируется нами как предложение
конструктивной теории вероятностей, конфигурацией, схемой систем которой,
копирующей операции конструктивным как числа, отношения, показывающие,
показатели этих операций, является конфигурация понятия модальность.<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Произведем
интерпретацию понятия модальности, конфигурация которого (сообразно номинальным
и реальным определениями схоластов) есть интерпретация принципа десигнации,
употребляемого конструктивной теорией вероятностей. Как известно, понятием
"числового ряда" понятие суммы обобщается на некоторые случаи бесконечного
множества слагаемых и изучается свойства таких обобщенных сумм. Аналитическое
выражение, имеющее формально вид суммы, содержащей бесконечно много слагаемых,
называется бесконечным рядом, или, просто, рядом. В нашем случае суммируется
символы, цепочка которых имеет своим кодом геделевский номер. Назовем такой ряд
конструктивным или осмысленным, это некоторый музей, пантеон символов.
Поскольку символ, будучи записан как член числового ряда, есть знак, имеющий
некоторую конфигурацию, а именно является референциальной точкой в системе
отсчета, осью абсцисс которой является ось ординалов, а осью ординат -- ось
кардиналов, то заданиями числового ряда, как выполнением операций
трансфинитивной логики, определяются конструктивные планы конфигурации (совершенной
группы простых чисел) и конструктивные операции над конфигурациями, являющиеся
функциями комплексного переменного, причем эти определения являются следствиями
подстановки операторов, как элементов конструктивного класса, принадлежность
которого этому классу устанавливается посредством принципиально осуществимой
совокупности действий, как знаков значения, или значений показателей операции
вычислимости числового ряда, где его вычислимость является аналитическим
продолжением в область комплексных чисел, мощность измеряется в ординалах,
порядок (счетность) в кардиналах, обратно канторовской теории множеств, где
предполагаемое множество есть оператор ряда символов, реферируемый в ординалах
(счетно-вычислимый), измеряемый в кардиналах (счетно-вычислимый), определим
таким образом в рамках трансфинитзма канторовскую теорию множеств как теорию
оперирования, где показателем операции является трансфинитивное число.<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Пусть
задана последовательность комплексных чисел </span><span lang=EN-US
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>U<sub>n</sub></span><span style='font-size:14.0pt;mso-bidi-font-size:
12.0pt;line-height:150%'>, </span><span lang=EN-US style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> = 1, 2, ... .
Составим новую последовательность чисел </span><span lang=EN-US
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>S<sub>n</sub></span><span style='font-size:14.0pt;mso-bidi-font-size:
12.0pt;line-height:150%'>, </span><span lang=EN-US style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> = 1, 2, ...,
следующим образом:<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>&#936;<sub>0</sub>
= </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;
line-height:150%;mso-ansi-language:EN-US'>U</span><span style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%'>'<sub>1</sub>, &#936;<sub>1</sub> =
</span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;
line-height:150%;mso-ansi-language:EN-US'>U</span><span style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%'>'<sub>2</sub>,<span
style='mso-spacerun:yes'>                                            </span></span><span
lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;
mso-ansi-language:EN-US'>U</span><span style='font-size:14.0pt;mso-bidi-font-size:
12.0pt;line-height:150%'>'<sub>1</sub> = </span><span lang=EN-US
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;
line-height:150%'>1</span></sub><span style='font-size:14.0pt;mso-bidi-font-size:
12.0pt;line-height:150%'><o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>&#936;<sub>2</sub>
= &#936;<sub>0</sub> + &#936;<sub>1<span
style='mso-spacerun:yes'>
</span><span style='mso-spacerun:yes'>   </span></sub></span><span lang=EN-US
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>U</span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;
line-height:150%'>'<sub>2</sub> = </span><span lang=EN-US style='font-size:
14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>U</span><sub><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>1</span></sub><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> + </span><span
lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;
mso-ansi-language:EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size:
12.0pt;line-height:150%'>2</span></sub><span style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%'><o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>&#936;<sub>3
</sub>= &#936;<sub>1</sub> + &#936;<sub>2<span
style='mso-spacerun:yes'>
</span></sub></span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:
12.0pt;line-height:150%;mso-ansi-language:EN-US'>U</span><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>'<sub>3</sub>
= </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;
line-height:150%;mso-ansi-language:EN-US'>U</span><sub><span style='font-size:
14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>1</span></sub><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> + </span><span
lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;
mso-ansi-language:EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size:
12.0pt;line-height:150%'>2</span></sub><span style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%'> + </span><span lang=EN-US
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;
line-height:150%'>3</span></sub><span style='font-size:14.0pt;mso-bidi-font-size:
12.0pt;line-height:150%'><o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>&#936;<sub>4</sub>
= &#936;<sub>2</sub> + &#936;<sub>3<span
style='mso-spacerun:yes'>                                           </span><span
style='mso-spacerun:yes'>                         </span><span
style='mso-spacerun:yes'>               </span></sub></span><span lang=EN-US
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>U</span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;
line-height:150%'>'</span><sub><span lang=EN-US style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> = </span><span
lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;
mso-ansi-language:EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size:
12.0pt;line-height:150%'>1</span></sub><span style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%'> + </span><span lang=EN-US
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;
line-height:150%'>2</span></sub><span style='font-size:14.0pt;mso-bidi-font-size:
12.0pt;line-height:150%'> + </span><span lang=EN-US style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>U</span><sub><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>3</span></sub><span
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> + ... </span><span
lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;
mso-ansi-language:EN-US'>U<sub>n</sub></span><span style='font-size:14.0pt;
mso-bidi-font-size:12.0pt;line-height:150%'><o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;line-height:150%'>&#936;<sub>5</sub> = &#936;<sub>3</sub>
+ &#936;<sub>4</sub>,<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;line-height:150%'>где &#936; - так
называемые числа Фибоначчи, бесконечная последовательность которых определяется
рекуррентной формулой &#936;</span><sub><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>+1</span></sub><span
style='font-size:14.0pt;line-height:150%'> = <span
style='mso-spacerun:yes'> </span>&#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'> + &#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;line-height:150%'>.<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;line-height:150%'>Результат Матиясевича в
том, что любое перечислимое свойство конечной последовательности числе является
диофантовым, еще<span style='mso-spacerun:yes'>  </span>раз доказывает нам
понятийную структуру геделевского номера, смысла, требующего образования
понятия перечислимости, выразимую в формуле <o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:
EN-US'>p</span><span style='font-size:14.0pt;line-height:150%'>! + 1 его
априорно диофантовую характерность. Формулой конструктивного числового ряда
является уравнение волновой функции Шредингера, представляющей асимптотический
характер выполнения теоремы Ферма целыми числами в конструктивном числовом ряду
Свойство Матиясевича (свойство пары числе (а, </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>b</span><span
style='font-size:14.0pt;line-height:150%'>), где есть число Фибоначчи с номером
2а, </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;
mso-ansi-language:EN-US'>b</span><span style='font-size:14.0pt;line-height:
150%'> = &#936;<sub>2а</sub>) назовем прагматическим квалитатизмом, или
креативностью, тождества пустого множества и сингулярного термина, смысла
понятия тождества, математического понятия "оператор", десигнирует оператора в
языке всеобщей арифметики, финитизмом оператора, трансфинитизмом этого
финитизма которого является оператор конструктивного числового ряда.
Конструктивный числовой ряд есть кольцо над полем комплексных чисел, телом
кольца является арифметическая операция трансфинитивных чисел, показателем
которой является физическое понятие твердого тела. Пусть конструктивная
операция &#936;<sup>2</sup> (&#936;<sub>0</sub>, &#936;<sub>1</sub>, &#936;<sub>2</sub>
...) ставит произвольно заданной совокупности конфигурацией &#936;<sub>0</sub>, &#936;<sub>1</sub>,
&#936;<sub>2</sub> ... в соответствие некоторую конфигурацию &#936;. При этом
определением операции &#936;<sup>2</sup> (&#936;<sub>0</sub>, &#936;<sub>1</sub>,
&#936;<sub>2</sub> ..., &#936;</span><sub><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:
14.0pt;line-height:150%'>) является креативность, то есть это определение дает
принципиально осуществимый способ построения конфигурации &#936;, когда
конфигурации &#936;<sub>0</sub>, &#936;<sub>1</sub>, &#936;<sub>2</sub> ..., &#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%'> </span></sub><span
style='font-size:14.0pt;line-height:150%'>заданы. Для класса
последовательностей символов определим операцию </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>S</span><span
style='font-size:14.0pt;line-height:150%'> (&#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>, &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;line-height:150%'>), состоящую в приписывании,
употреблении, к символу &#936;</span><sub><span lang=EN-US style='font-size:
14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>, символа &#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%'> </span></sub><span
style='font-size:14.0pt;line-height:150%'>, или употребление.<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;line-height:150%'>Оператором конфигурации </span><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>S</span><span
style='font-size:14.0pt;line-height:150%'> (&#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>, &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;line-height:150%'>) являются все операторы конфигураций
&#936;</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;
mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;
line-height:150%'>-1 </span></sub><span style='font-size:14.0pt;line-height:
150%'>и &#936;</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:
150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;
line-height:150%'>, назовем это задачей сходимости ряда, сходимость ряда
конструируется, любой числовой ряд таким образом сводится таким образом, что
для него выполняется необходимое условие сходимости ряда, так как для любой
пары элементов конфигурации </span><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>S</span><span style='font-size:14.0pt;
line-height:150%'> (&#936;</span><sub><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>, &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;line-height:150%'>) -- определено отношение порядка,
число ординала. Задача сводимости числового ряда решается в ординалах. Так,
например, ряд, члены которого образуют геометрическую прогрессию 1+ </span><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q</span><span
lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span
style='font-size:14.0pt;line-height:150%'>+ </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q</span><sup><span
style='font-size:14.0pt;line-height:150%'>2</span></sup><span style='font-size:
14.0pt;line-height:150%'> + </span><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>q</span><sup><span style='font-size:
14.0pt;line-height:150%'>3</span></sup><span style='font-size:14.0pt;
line-height:150%'> +... </span><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>q<sup>n</sup></span><span
style='font-size:14.0pt;line-height:150%'>..., при |</span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q</span><span
style='font-size:14.0pt;line-height:150%'>| &#8805; 1 расходится, ибо его общий
член </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;
mso-ansi-language:EN-US'>U<sub>n</sub></span><span lang=EN-US style='font-size:
14.0pt;line-height:150%'> </span><span style='font-size:14.0pt;line-height:
150%'>= </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;
mso-ansi-language:EN-US'>q<sup>n</sup></span><sup><span lang=EN-US
style='font-size:14.0pt;line-height:150%'> </span></sup><span style='font-size:
14.0pt;line-height:150%'>не стремится к нулю Решением задачи по сводимости
данного числового ряда является следующая группа </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span><span
lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span
style='font-size:14.0pt;line-height:150%'>-- группа ординалов, подстановок,
решающих диофантовые уравнения 3 степени (проблема Гильберта). Ординалы имеют
биекцию на множество натуральных со стороны их мощности кардиналы -- счетности,
трансфинитивные<span style='mso-spacerun:yes'>  </span>числа -- вычислимости.
Каждый оператор, принадлежащий конфигурации &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1 </span></sub><span
style='font-size:14.0pt;line-height:150%'>, отличается от оператора, входящего
в конфигурацию &#936;</span><sub><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:
14.0pt;line-height:150%'>, на ординал. Для пар (х, у), входящих в &#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'> (&#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;line-height:150%'>) установлено свойство креативности Матиясевича.
Легко видеть, что если &#936;</span><sub><span lang=EN-US style='font-size:
14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1 </span></sub><span
style='font-size:14.0pt;line-height:150%'>и &#936;, представлены соответственно
последовательности значений </span><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>x</span><sub><span style='font-size:
14.0pt;line-height:150%'>1</span></sub><span style='font-size:14.0pt;
line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt;line-height:
150%;mso-ansi-language:EN-US'>x</span><sub><span style='font-size:14.0pt;
line-height:150%'>2</span></sub><span style='font-size:14.0pt;line-height:150%'>
</span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:
EN-US'>x</span><sub><span style='font-size:14.0pt;line-height:150%'>3</span></sub><span
style='font-size:14.0pt;line-height:150%'> ... </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>x<sub>n</sub></span><span
lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span
style='font-size:14.0pt;line-height:150%'><o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;line-height:150%'>и <o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;line-height:150%'>у<sub>1</sub> у<sub>2</sub>
у<sub>3</sub> ... у</span><sub><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:
14.0pt;line-height:150%'>, то конфигурация (&#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>; &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;line-height:150%'>) является функцией у = </span><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'> (х).<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;line-height:150%'>Операция </span><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>R</span><span
style='font-size:14.0pt;line-height:150%'> (&#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'>; &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;line-height:150%'>) (референт операции подстановки),
смысл которой состоит в том, что в конфигурации &#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'> </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'> всюду, где она входит, заменяется &#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;line-height:150%'>, поскольку </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span
style='font-size:14.0pt;line-height:150%'>есть число кардинала.<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;line-height:150%'>Итак, конструктивная
операция есть конфигурации. Заменяемая по некоторым правилам трансфинитивным
числом, она, следовательно, имеет оператор, заменяемый ординалом, и показатель
("степень уверенности" Больцано), заменяемый кардинальным числом.<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;line-height:150%'>Определим операцию <o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:
EN-US'>T</span><span style='font-size:14.0pt;line-height:150%'> (&#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'>; &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size:
14.0pt;line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt;
line-height:150%'>), где <o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:
EN-US'>n</span><span lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span
style='font-size:14.0pt;line-height:150%'>-- есть геделевский номер <o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:
EN-US'>T</span><span style='font-size:14.0pt;line-height:150%'> (&#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'>; &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size:
14.0pt;line-height:150%'> 2) совпадает с </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>R</span><span
style='font-size:14.0pt;line-height:150%'> (&#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'>; &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;line-height:150%'>)<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:
EN-US'>T</span><span style='font-size:14.0pt;line-height:150%'> (&#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'>; &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size:
14.0pt;line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt;
line-height:150%'>) есть результат замены в </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>T</span><span
style='font-size:14.0pt;line-height:150%'> (&#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'>; &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size:
14.0pt;line-height:150%'> 2)<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:
EN-US'>f</span><span lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span
style='font-size:14.0pt;line-height:150%'>везде, где она входит, символом &#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'> <o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:
EN-US'>R</span><span style='font-size:14.0pt;line-height:150%'> [</span><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>T</span><span
style='font-size:14.0pt;line-height:150%'> (&#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'>; &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;line-height:150%'>, 2) </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'>', &#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span
style='font-size:14.0pt;line-height:150%'>]<o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span style='font-size:14.0pt;line-height:150%'>Для определения (&#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'>; &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size:
14.0pt;line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt;
line-height:150%'>) для любого </span><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt;
line-height:150%'> (&lt; отношения порядка) можно написать <o:p></o:p></span></p>

<p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height:
150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:
EN-US'>T</span><span style='font-size:14.0pt;line-height:150%'> (&#936;</span><sub><span
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>-1</span></sub><span
style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span
style='font-size:14.0pt;line-height:150%'>; &#936;</span><sub><span lang=EN-US
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span
style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size:
14.0pt;line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt;
line-height:150%'>) = </span><span lang=EN-US style='font-size:14.0pt;
line-height:150%;mso-ansi-language:EN-US'>R</span><span style='font-size:14.0pt;
line-height:150%'> [</span><span lang=EN-US style='font-size:14.0pt;line-height:
150%;mso-ansi-lang