font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language: EN-US'>α є A} -- его декартово произведение. Џодмножество P < x назовем тонким, если при каждом α є A, α с координаты x'_α и x"_α любых двух различных элементов x', x" множества P различны x'_α ≠ x"_α . €ными словами множество P < x ЯвлЯетсЯ тонким в том и только в том случае, если длЯ каждого α є A сужение π₂/ P : P → x_α отображениЯ проектированиЯ π₂ х → x_α на множество x_α инъективно, т. е. переводит различные теории множества P в различные точки множества x_α.

Џусть также Ђ, < - произвольное ординарное вполне упорЯдоченное множество. —ерез P (Ђ; <) условимсЯ обозначать план всех вполне упорЯдоченных множеств из Њ, подобных Ђ, <. Њножество P (Ђ; <), где Ђ є Њ и < - вполне упорЯдоченные на Ђ, называютсЯ ординалами, при этом говорЯт, что ординал P (Ђ; <) ЯвлЯетсЯ порЯдковым типом вполне упорЯдоченного множества Ђ, <. Љлан всех ординалов обозначаетсЯ через Ord:

Ord = {P (A, <) : A є M и < - вполне упорЯдочение на Ђ}

’ребуетсЯ, таким образом, доказать, что

P² P

Џоскольку слова в алфавитах ЯвлЯютсЯ конструктивными объектами общего вида, то, сравниваЯ между собой слова в каком-либо фиксированном алфавите, мы можем встретитьсЯ с двумЯ словами, составленными из одинаковых букв и одинаковым образом расположенных, графически равноправными (). ‚ажную роль в доказательстве будет играть операциЯ соединениЯ слов. …е применение к словам ђ и • в алфавите Ђ будет состоЯть в приписывании справа к слову, графически равному ђ, слова, графически равного •, в результате чего получаетсЯ слово, называемое соединением слов ђ и •, [ђ, •]_Ђ. ‚ своих "Ђрифметических исследованиЯх" Љ. ѓаус начинает вводный раздел следующим определением: "…сли некоторое число a делит разность чисел b и c, будем называть b и c сравнительными относительно а. —исло а будем называть модулем". "…сли некоторое произвольно взЯтое простое число, которое на единицу превосходит кратное 4, не составлЯетсЯ из двух квадратов, то будет существовать простое число той же природы, меньшее данного, а затем третье, меньшее и т. д., спускаЯсь до бесконечности, пока не дойдем до числа 5, которое ЯвлЯетсЯ самым маленьким из числа этой природы, которое, следовательно, не должно составлЯтьсЯ из двух квадратов, что однако имеет место. Ћтсюда следует заключить, что все числа этой природы составлЯютсЯ из двух квадратов".

Џоскольку возведение в степень числа по модулю mod p (простое число) оказываетсЯ таким образом, выполнением квадрата тонкого множества, а именно, x^p^-1 ≡ 1 (mod p),

x² ≡ 1 (mod p), т. к. x ≡ 1/x (mod p)

Џереведем этот факт на Язык формальной арифметики, на Язык арифметики, собственно говорЯ.

‘огласно теореме ‚ильсона аксиомы, правило вывода длЯ тождественно-истинной формулы правило вывода ѓамильтон общезначимаЯ тождественнаЯ математическаЯ формула cⁿ = aⁿ + bⁿ.

(p - 1) ! ≡ - 1 (mod p), тогда √x² ≡ √-1 (mod p),

Ћбозначим √-1 через i.

(€меем извлечение корнЯ, смысл этой операции открываетсЯ при его конструировании в арифметике по модулю p. ЋперациЯ извлечениЯ корнЯ в арифметике по модулю p не определена особым образом, т. к. эта арифметика -- результат неопределенного извлечениЯ корнЯ, имеющаЯ в арифметике извлечение корнЯ по модулю p есть группа подстановок (целых чисел) теоремы ”ерма, а само извлечение есть кольцо модулЯ p со стороны структуры Языка оно -- циркулирующий организованный граф.)

’огда выполнение законов умножениЯ ѓамильтона

1 · i = i · 1, 1 · j = j · 1 = j, 1 · k = k · 1 = R,

i² = -1, j² = -1, R² = -1

ij = k; jk = i, Ri = j, ji = - R, Rj = - I, ik = -j,

или законов единичности, отношение предела и беспредельного, по Џроклу, что доказывает, таким образом, теорему ”ерма, Язык перевода формальной теории множеств на Язык арифметики, т. е. конструированиЯ.

Џоскольку n = p! + 1,

то cⁿ = aⁿ + bⁿ⁽^mod¹⁾ имеет решение в целых числах при n < 2 или p² p.

‚ основании арифметики ординалов таким образом лежит дефинициЯ его значениЯ, референт значениЯ понЯтиЯ числа Ord² = ord, тогда суммой ординалов ЯвлЯетсЯ радикал, разностью -- граф ординала, значение графа произведением -- логарифм ординала, значение логарифма -- частным тангенс.

Ђксиоматизацией арифметики ординалов ЯвлЯетсЯ, таким образом, нормальный алгорифм Ђ. Ђ. Њартынова, степени его семантики систем числа классов.

’рансфинитизм отличаетсЯ от финитизма, как венецианского зеркало от простого, свеча, поднесеннаЯ к простому зеркалу дает один строгий абрис, в венецианском же множество отражений. Ђрифметика ординалов ЯвлЯетсЯ тем самым системой аксиом ступенчатого исчислениЯ предикатов (усиленного исчислениЯ предикатов) ѓильберта, такое преобразование "формального оперированиЯ с переменными знаками высказываний и функции, чтобы сомнительные образованиЯ совокупностей высказываний или функции были исключены" сообразно выЯснению нами роли в обосновании математически совершенной группы с простым делителем p, интерпретацией которой ЯвлЯетсЯ доказательство теоремы ”ерма.

—тобы отобразить различие ступеней, мы снабжаем высказываниЯ и функции числовыми индексами таким образом, что это будут числа классов, значениЯ тождественно-истинных суждений арифметики ординалов.

ќто обозначение надо понимать в том смысле, что область значений знака высказываний x_n или знака функции F_n ограничена такими высказываниЯми или функциЯми, которые содержатсЯ в теории n-й ступени. Љаждое выражение, если оно представлЯет высказывание или определенную функцию, если ко всЯкому встречающемусЯ в нем знаку высказываний и знак функции получает индекс (мы имеем здесь в виду способ построениЯ, конструированиЯ числа). ЋтношениЯ между индексом знака функции и индексом аргумента есть выполнение теоремы ”ерма длЯ ординалов.

‘овершеннаЯ группа с простым делителем p, выраженнаЯ в теореме ”ерма длЯ ординалов есть решение проблемы разрешимости, номинальным определениЯми которой ЯвлЯетсЯ проблема общезначимости, реальным -- проблема выполнимости, "постулирование общезначимости (соответственно выполнимости) некоторой логической формулы ЯвлЯетсЯ эквивалентным высказыванию о числе индивидуумов". –елью высказываний ЯвлЯетсЯ значение, иначе говорЯ, эквивалентность высказываниЯ означениЯ высказываниЯ, определенного тем более, поскольку в собственном смысле каждое высказывание ЯвлЯетсЯ высказыванием о значении высказываниЯ, иначе говорЯ, мы имеем в виду высказывание о собственном значении быть высказыванием о значении другого высказываниЯ, т. е. высказывание о понЯтии, о значении.

’аким образом, Язык конструированиЯ объекта, ЯвлЯющегосЯ объектом логики, Язык, формализующий значениЯ, может быть представлен своим алфавитом следующим образом:

1) α радикалы, формализующие переменную величину и ЯвлЯющиесЯ. ‘ледовательно, подстановочной интерпретацией синтаксиса;

2) β простые числа, доказывающие непротиворечивость постоЯнной величины, средствами, формализующими в Языке морфологии; и ЯвлЯющиесЯ, следовательно, стандартной интерпретацией грамматики;

3) z совершенные числа с простым делителем p, формализующие морфизмы и ЯвлЯющиесЯ, следовательно, выполнением (интерпретацией) подстановочной интерпретации семиотик.

4) ’автологии математики p² (квадрат тонкого множества), интерпретирующие семантик и "стандартные интерпретации модельных множеств".

5) Ќормальный алгорифм, формализующий изоморфизм, поднимаЯ тем самым материальную импликацию до уровнЯ значениЯ импликации (логической импликации, предпосылки Языка логики и отношений, функции в прагматике), что выражаетсЯ принципом нормализации алгорифма. ‚сЯкий нормальный алгорифм будет задаватьсЯ указанием следующих трех объектов: некоторого алфавита, в данном случае алфавита Языка значений, в котором он выступает в качестве логической свЯзки некоторого трехбуквенного алфавита αβγ, не имеющих букв, общих с алфавитом Ђ, то есть высказывание, подлежащее рассмотрению Языком данного алфавита и некоторой γ-схемой z в алфавите Ђαβ. ”ормулами подстановок алфавита ЯвлЯютсЯ совершенные группы с простым делителем p. ‚сЯкий вербальный алгорифм в алфавите Ђ вполне эквивалентен относительно Ђ некоторому нормальному алгорифму над Ђ. ‚сЯкий вербальный алгорифм нормализует в Языке значение (тезис Ђ. —ерча). ‹огика может применЯтьсЯ длЯ решениЯ задач, но она не подскажет нам какие задачи стоит решить, лишь формализовав значение, мы, находЯсь в необходимости нормализовать известным образом (подобным логическим свЯзкам, их иерархии, теории типов и субординации) алгорифм решениЯ какой-либо задачи, вербальный по отношению к Языку значениЯ согласно принципу трансфинитизма, усматриваем значение задачи, ведь алгорифм, нормализующийсЯ самостоЯтельно, сводимый логическим образом к нормальному, и есть простое высказывание Языка значениЯ, принЯтое за объект, лингвистический подход ‚итгенштейна, "значение значениЯ", лишь демонстративное умозаключение о "значении значениЯ", принЯтое за индуктивное, иначе говорЯ, оно не конструктивно, отсутствует дескрипциЯ формализма, это "говорЯщий через нас" формализм, присоединЯющий алгорифм, втораЯ ступень импликации, выполнЯющей идею ступенчатой семантической системы в прагматике, различаютсЯ, таким образом, левый присоединению дней и правый присоединЯющий алломорфы: сокращающий алгорифм; формализующий автоморфизм.

”ормула подстановки сокращающаЯ, если длина ее правой части меньше длины ее левой части. Ќормальный алгорифм, сокращающий или как его формулы подстановок сокращающие, что было показано длЯ нашей группы P² P, разветвлЯющий алгорифм, формализующий эндоморфизм, выполнЯЯ индуктивную импликацию, прЯмым ее отрицанием показываЯ значение, удваивающее алгорифм, формализующий отрицание, формализацией которого ЯвлЯетсЯ Язык морфологии, наконец обращающий алгорифм, формализующий сигнатуру -- логическую свЯзку Языка морфологии. ќквивалентность вербального" алгорифма нормальному есть решение задачи по алгорифму, формализующему по канону теории алгорифмаов Язык значениЯ, определенный Язык. Њы обращаемсЯ здесь мысленно к древним, где доказательство аналитично, если и только если оно не вводит в рассмотрение новых символов, и синтетично, если и только если оно вводит в рассмотрение новые символы (имеетсЯ в виду разложение задачи на подзадачи)

6. ординал - индекс -- топологиЯ -- кардинал (кванторы) ’ехнические знаки -- графическое равенство, = - равенство (субстантивнаЯ эквиваленциЯ). ’аблицами истинности Языка значениЯ ЯвлЯютсЯ матрицы, определителЯми которых служат ординалы, теориЯ выполнениЯ теоремы ”ерма есть конструктивнаЯ техника Языка значениЯ. ’еориЯ значениЯ, оказавшаЯсЯ чистой дескрипцией понЯтиЯ Языка значениЯ, то есть такого понЯтиЯ, которое, кроме того, что ЯвлЯетсЯ самим собой, финитно посредством именно понЯтиЯ Языка (формального) знаниЯ есть дескрипциЯ трансцендирующей способности мышлениЯ, мерой отвлеченности и отвлекаемости мышлением, сложной уже в силу того, что ЯвлЯетсЯ смыслом, требующим образование понЯтиЯ меры. ’рансцендирование мышлениЯ есть его выполнение мыслью и исполнение в мысли, трансцендирование мышлением или трансцендирующее мышление есть, таким образом, значение, смысл, требующий образование понЯтиЯ значениЯ, само значение. ’рансцендирование есть, следовательно, значение логики, требующее образованиЯ самой логики. ’рансфинитизм таким образом есть отношение между понЯтиЯми в конечном счете отношение между объектами (= формальными Языками), в вопросе о счетности, числе индивидов длЯ проблемы разрешимости финитизма. ’рансфинитизм есть экспликат понЯтиЯ мышлениЯ, трансцендентализм его эксплиендуум, такова истина значениЯ, требующаЯ смысл, образующий впоследствии понЯтие логики. ЏонЯтие мышлениЯ, то, что означает мышление, есть поэтому мышление, которое трансцендирует, поскольку речь финитна и, следовательно, существует посредством понЯтий. Љонструирование есть поэтому всегда трансцендирование мышлениЯ, вступление мысли в такое и известным образом противоречие (логическое) с мышлением ради этого, оспариваемого у него значениЯ, нормализуемого в нем алгорифмическим образом.

‡начение, таким образом, есть экспликат и эксплицирует понЯтие числа, экспликат в качестве смысла, требующего понЯтие числа и эксплиендуум в качестве значениЯ, денотата понЯтиЯ числа. ‡начение может быть представлено в виде сверхтонкого множества символов, удовлетворЯющего следующему условию: любые два произвольно взЯтые символа этого множества таковы, что их конъюнкциЯ, дизъюнкциЯ и т. д. -- тождественнно-истинные формулы. Њножества и сами должны и могут быть интерпретируемы. Ќазовем это множество временным, суть этого названиЯ состоит в том, что смысл, требующий образованиЯ понЯтиЯ времени опознан нами как логический знак тождества, его формальное нарушение ради значениЯ, так называемое абсолютное, или различающее тождество немецкой классики, дескрипции понЯтиЯ суждениЯ.

‚сЯкое множество (математическое понЯтие множества) есть, следовательно, модельное множество временного множества, или область рациональности, осмысленного отрицаниЯ символов временного множества и целью экспликации условий вхождениЯ в него конъюнкций, дизъюнкций и т. д., превращениЯ их в формулы подстановок, максимально непротиворечивое множество значимых формул. Љак видно, модельное множество, ЯвлЯЯсь значением закона противоречиЯ в логике, есть смысл, требующий образованиЯ пространства, или, иначе говорЯ, независимо существующее модельное множество есть пространственное множество, и наконец множество значимых непротиворечивых формул есть тавтологическое множество, единственный смысл логического закона исключенного третьего по отношению к понЯтиЯм пространства и времени. ‚ременное множество есть, таким образом, модель математического понЯтиЯ множества, пространственн