The space undergoes three years of time, to sect Helian the sect very rare reached the brand-new agreement. 宇历三年的时候,离宗和连宗很罕见的达成了全新的共识。 A formula, and the even/including sect operation to the operation, has the words of completely consistent embodiment, then, can say, this formula, has „absolute quality”. 一个公式,在离宗算理和连宗算理之中,具备完全一致的内蕴的话,那么,就可以说,这个公式,具备“绝对性”。 This type „absolute quality”, without a doubt, gave to Zong zhong „hope”. 这种“绝对性”,毫无疑问,给予了离宗某种“希望”。 To them, the extinguishing world that this inconsiderately calculates simply strikes, the final redemption and only gospel that can find. 对于他们来说,这简直就是不周之算的灭世一击下,所能找到的最后救赎与唯一福音。 „Absolute quality” perhaps existence, was indicating, mathematical entity in different mathematical axiom system widespread. “绝对性”的存在,或许就是在表明,数学实体是在不同的数学公理系统里面普遍存在的。 If this, this mathematical entity, perhaps has „actual complete” nature. 而如果是这样的话,这个数学实体本身,或许就具有“实际完备”的性质。 This was they hopes finally. 这是他们最后的希望了。 Perhaps they need to seek for a new path, explores this mathematical entity nature. 或许他们需要寻找到一条新的道路,来探索出这个数学实体的性质。 In this regard, Feng Luoyi with the goal that the song courtyard sends is the extraordinary consistency. 在这一点上,冯落衣与歌庭派的目的是出奇的一致。 They even put down some differences for the time being, common exploration this domain. 他们甚至暂且放下了些许分歧,共同探索这一领域。 But in this process, sea thunderclap honorable person also shows talent for the first time finally. 而在这一过程之中,海霆真人也终于崭露头角。 Since even/including sect proved the intuitionist logic not compared with after the classical logic security that the song courtyard sends, he probably changed individual was the same, was silent and uncommunicative. 自从连宗证明直觉主义逻辑不比歌庭派的经典逻辑安全之后,他就好像变了个人一样,沉默而寡言。 But originates during Capital, the tendency of his self-closing was more serious. 而在黎京首创之中,他自闭的倾向就更严重了。 However, this does not hinder him as arithmetic , to continue to shine to give off heat. 但是,这并不妨碍他作为一个算学家,继续发光发热。 During he studied from the Su Jun yu continual series is inspired, introduces Feng Luoyi to study the achievement that Yoshimoto gathered in the infinite axiom, established the brand-new school structuralism. 他从苏君宇的连续统研究之中受到启发,引入了冯落衣在无限公理中研究良基集合的成果,创立了全新的流派构造主义。 In some theory, by having the poor symbol, the definition all entities, until the high traversal of reflection sequence „the ordinal numbers of all ordinal numbers”, is a structure class. 在某个理论内,以有穷个符号,所定义之一切实体,直到反射序列的高度遍历“所有序数的序数”,便是一个可构造类。 But may construct the axiom, then announced that overall that under Yoshimoto sequence the legitimate set constitutes, with „constructivity set”, is equal. 而可构造公理,便是宣告,良基序列下合法集合所构成的总体,与“可构造性集合”,是相等的。 He inherited calculates Monarch „arithmetic was constructed product” the thought that actually held calculates set theory that Monarch loathed, in the foundation that in Feng Luoyi Yoshimoto gathered completed the preliminary secure proof. 他继承了算君“算学是被构造产物”的思想,却容纳了算君所厌恶的集合论,并且在冯落衣良基集合的基础上完成了初步的安全性证明。 The definition constructs, the structure showed, the proof is path Zhi. 定义即构造,构造即证明,证明即路秩。 Also because, him is so calculating the theory also slightly makes the breakthrough, enters in the view of thousand machine pavilions. 也正是因为如此,他在算器理论也小有突破,进入千机阁的视野之中。 The song courtyard faction somewhat is panic-stricken. 歌庭派对此有些惊恐。 Feng Luoyi and Turing's existence 【Perhaps can also be counted king Qi】, Causes thousand machine pavilion ten thousand method branch schools, continuously to the back garden of sect. 冯落衣与图灵的存在【或许还可以算上王崎】,使得千机阁这个万法门分支门派,一直都是离宗的后花园。 Also once had member even/including sect to walk into there, even there are to calculate Monarch linking sect chieftain developed parallel calculated the theory. 也曾有连宗修士走入过那里,甚至有算君这种连宗总头目开发出了平行的算器理论。 However, sea thunderclap honorable person walked into officially. 但是,海霆真人是正式走入其中了。 He even has to the showing good will tendency. sea thunderclap honorable person even showed, the essential differences of the intuitionism and other logical schools, are „use have the poor symbol, whether can operate infinite and even ultra poor entity”. 他甚至有向离宗示好的倾向。海霆真人甚至证明,直觉主义和其他逻辑流派的关键差异,就在于“使用有穷个符号,是否就能操纵无穷乃至超穷的实体”。 But the appearance of sea thunderclap honorable person, regarding base faction , is not completely the misdemeanor. 但海霆真人的出现,对于基派来说,也不完全是坏事。 sea thunderclap honorable person rises at the same time, proposed with the thing that the past theory corresponds, enabling the song courtyard faction to reflect light itself, discovered that many pasts the thing that was not necessarily able to discover. 海霆真人崛起的同时,也提出了许多与离宗过去理论相对应的东西,使得歌庭派得以返照自身,发现许多过去未必能发现的东西。 They discovered, same mathematical framework widely exists in the different axiom-systems. The choice of axiom-system, only affects mathematical framework that can prove to see how much. 他们发现,许多相同的数学结构在不同的公理系统之中广泛存在。公理系统的选择,只影响可以证见的数学结构的多寡。 But to the choice and analysis of axiom, which fundamental principles in fact is the judgment by as the arithmetic „initial station” and „benchmark”. 而对公理的选择和分析,实际上就是判断以哪些基础原则作为算学的“起始点”与“基准”。 Numerous postulations exist, stemming from does not set up to the judgment of arithmetic foundation, but is member ten thousand Famen the research activities needs these postulations to set up 【For example the definition of addition, the definition of subtraction】. 众多的公设存在,不是出于对算学根基的评判而设立,而是万法门修士们研究活动本身需要这些公设才设立的【比如加法的定义,减法的定义】。 These further strengthened to the sect to „arithmetic entity” confidence. 这些更进一步的加强了离宗对“算学实体”的信心。 Also under this background, the mentality of Su Jun Yutong crossing ocean thunderclap honorable person, proposed named „transmission model” show operation. 也就是在这个背景之下,苏君宇通过海霆真人的思路,提出了名为“传递模型”的骚操作。 If there is mathematical axiom system armor, his has the uniformity, then has this system the model. 如果存在一个数学公理系统甲,其自身具有一致性,那么就存在这个系统的模型。 „System armor is consistent” the axiom, joins the original system, obtained „the system armor consistent joining system armor later system”. Then, has „the system armor consistent joining system armor later system is consistent”. Again „the system armor consistent joining system armor later system is consistent”, joins „the system armor consistent joining system armor later system”...... so the relapse, until infinite. 将“系统甲是一致”的这个公理,加入原来的系统,就得到了“系统甲是一致的加入系统甲之后的系统”。然后,就有“系统甲是一致的加入系统甲之后的系统是一致的”。再将“系统甲是一致的加入系统甲之后的系统是一致的”,加入“系统甲是一致的加入系统甲之后的系统”……如此反复,直到无穷。 Then, system armor „uniformity”, will transmit „infinitely” above it, becoming one „may the number be infinite” nature. 那么,系统甲的“一致性”,就会传递到“无穷”本身之上,成为一个“可数无穷”的性质。 This made Su Jun yu obtain the enormous promotion, even almost rose refine the empty time. 这使得苏君宇获得了极大的提升,甚至几乎升上了炼虚期。 Present he, instead must like initial king Qi, suppress oneself cultivating is, adjusts merit body. 现在的他,反而要像当初的王崎那样,压制自己的修为,来调整自身功体。 But under the thought of transmission model, „constructivity model” again by myth. 而在传递模型的思想之下,“构造性模型”再一次被神话了。 But the operation of structure class, regarding the transmission model of any arithmetic axiom, is „absolutely”. 可构造类的运算,对于任何算学公理的传递模型而言,都是“绝对”的。 Very rare matter happened. 非常罕见的事情发生了。 even/including Zonghe to the joint effort of sect, in establish the arithmetic achievement to sect Helian the sect, was established. 连宗和离宗的共同努力之下,一个在离宗和连宗之内都成立的算学成果,被确立了。 Therefore, at this time, sea thunderclap honorable person „continually sect rebel” infamy, even surpassed Chen „to leave a rebel who” was received by, Feng Luoyi, king Qi the sum total of name. 于是,在这个时候,海霆真人“连宗叛徒”的骂名,甚至都超过了陈由嘉、冯落衣、王崎收到的“离宗叛徒”称呼的总和。 sea thunderclap human, has to cross the immortal road again, the choice evades the calamity temporarily. 就连海霆真人本人,都不得不再次越过仙路,选择暂时避祸。 However, he himself did not care about these. 但是,他自己不在乎这一些了。 He was in an impregnable position again. 他再次立于不败之地了。 Just like infinite axiom that Feng Luoyi proves, under Yoshimoto gathers, the complete works are equal to the structure class the proposition, may not the card otherwise. 和冯落衣所证明的无穷公理一样,良基集合下,全集等于可构造类的命题,不可证否。 He has been in an impregnable position. 他已立于不败之地。 The structure faction, has been in an impregnable position. 构造派,已经立于不败之地。 Even if calculates that Monarch can a palm of the hand pat him, is unable to change this result. 哪怕算君可以一巴掌将他拍死,也无法更改这个结果。 Regarding this point, Feng Luoyi cannot be happy. 对于这一点,冯落衣却开心不起来。 He sighed: „I comply with the song courtyard faction earliest, but thinking, to rectifies names for the infinite axiom and law of excluded middle, to rectifying names, is the counter-balance...... king Qi that inconsiderately calculates disastrous consequence that causes. I have not really thought, matter will turn into this appearance.” 他叹息:“我最早答应歌庭派的时候,只是想着,要为无穷公理和排中律正名,为离宗正名,也算是抵消……王崎那不周之算带来的灾难性后果。我真的没想到,事情会变成这个样子。” Ten thousand methods were completely insane. 万法门完全疯了。 To sect Helian the sect, already reveals „recklessly” the tendency. How they have not cared about the future, is to use the full power, opponent according to dying in this beach silt, even if they get sucked into the mire similarly. 离宗和连宗,都已经显露出了“不顾一切”的倾向。他们已经不在意自己未来会怎么样,就是想要倾尽全力,将对手按死在这一滩淤泥之中哪怕他们自己同样深陷泥沼。 Not only among sect Helian the sects this, to the sect to the sect, even/including sect to even/including sect, same starts not to spare the surface. 不仅是离宗和连宗之间这样,离宗对离宗,连宗对连宗,一样下手不容情面。 sea thunderclap honorable person is a model. Some of some of his obviously quite responders, but actually can only withdraw from this to calculate Mr.'s sphere of influence. 海霆真人就是一个范例。他明明颇有一些响应者,但是却只能退出这算君的势力范围。 But Feng Luoyi also felt some evil intentions that the song courtyard sends. 而冯落衣也感觉到歌庭派的些许恶意了。 On the contrary is Su Jun yu, but also in response song courtyard. 反倒是苏君宇,还在响应歌庭。 But Feng Luoyi knows, that surname buddhist, even still in attempting „direction” Su Jun yu. 但冯落衣知道,那个姓梵的,甚至都还在试图“指点”苏君宇。 He has examined 2-3 have like this maliciously „direction”. 他已经检测到2-3封这样带有恶意的“指点”了。 However, the scoundrel of that ball, actually with open intrigue. 但是,那个分球的混账,却从来都只是用阳谋。 Perhaps what he looks at? 恐怕他是看出来了什么吧？ Even if Chen were revealed by and Su Jun yu with king Qi the different tendencies, but, they exchanged with king Qi for a long time, to the fundamental view of arithmetic, was consistent with king Qi. 就算陈由嘉和苏君宇都显露出了与王崎不同的倾向,但是,他们长期与王崎交流,对算学的根本看法,总归是与王崎一致的。 They exist completely consistently „ultimate objective”, is looking forward to the same prospect. 他们存在着完全一致的“终极目标”,憧憬着一样的图景。 The arithmetic is to have comfortably, will not take the will of person as the shift. 算学是自有自在的,不会以人的意志为转移。 Therefore, the matter that buddhist Bach knows, not will be changed by the fine will by Su Jun yu or Chen. 所以,梵巴赫知道的事情,不会由苏君宇或陈由嘉的意志所改变。 This may really be the terrifying. 这可真是恐怖啊。 Turing honorable person also shakes the head: „In this case...... that looked forward, but also was being shouldered the unclear prediction......” 图灵真人也是摇头:“在这种情况下……那个向前看的,还被背负着不详的预言……” To sect Helian the sect, the song courtyard and few Li, both sides are each other engage in factional strife. Although has the achievement, but also opened opposite party many achievements. 离宗和连宗,歌庭和少黎,双方算是彼此倾轧。尽管彼此之间都有成果,但也都拆了对方不少成就。 While making great strides, both sides also hurt the vitality. 在取得长足进步的同时,双方也都是伤了元气。 But in this case, places king Qi who another region, edits with single-hearted devotion calculated, becomes ten thousand methods remain now not much „star of hope”. 而在这种情况下,身处他乡、专心编修原算的王崎,就成了现下万法门所剩不多的“希望之星”。 But very much what is a pity is...... ten years, no, is not right, less than seven years within, this „star of hope” also has the risk of falling from the sky. 但很可惜的是……十年,不,不对,不到七年的时间之内,这个“希望之星”也有陨落的风险。 Some many people felt, king Qi the operation may also have the giant loophole. 有很多人都觉得,王崎的算理也有可能存在巨大漏洞。 This simply is ten thousand method self-destroying whole families' melodies. 这简直就是万法门自灭满门的调子。 This desperate idea, appeared more than once. 这种绝望的想法,不止一次的出现了。 Feng Luoyi shows neither approval nor disapproval. 冯落衣不置可否。 But in this year winter, the song courtyard sends not happy declaration, oneself as if completed the Greek gate 23 to ask further proof that first asked. 而就在这一年的冬季,歌庭派不大高兴的宣称,自己似乎完成了希门二十三问第一问的进一步证明。 Is more thorough than Su Jun yu that. 比苏君宇那个更为深入。 They proposed „in model” concept. 他们提出了“内模型”的概念。 Any contains „the ordinal numbers of all ordinal numbers” transmission model, is „in model”. 任何包含“所有序数的序数”的传递模型,都是“内模型”。 But the structure class, is the smallest in model. 可构造类,是最小的内模型。 In the structure class, the infinite set base number certainly is the forms of two certain powers of exponent. Therefore, the generalized continual series supposition establishes. 在可构造类之内,无限集的基数一定是二的若干次方的形式的。因此,广义连续统假设是成立的。 But generalized continual series supposition any equal or reduction form, may not the card otherwise. 而广义连续统假设的任何等价或缩小形式,都不可证否。 After borrowing newly even/including sect the definition, they went a step further finally. 在借用新连宗的定义之后,他们终于更进一步了。 This is really irritable, the song courtyard bravo is sparse. 这一幕实在是别扭,以至于歌庭内部的喝彩声都是稀稀拉拉的。 They also completed the exploration of multiplicative axiom while convenient. 他们还顺便完成了选择公理的探索。 But at this time, the person displayed the obvious disaffection. 而在这个时候,有一个人表现出了明显的不满。 Su Jun yu sighed: „Continual series...... its following should not be this.” 苏君宇叹息:“连续统啊……它的后续不应该是这样的。” The preliminary proof of continual series supposition, is he is completed. He to this issue, has the sentiment. 连续统假设的初步证明,是他完成的。他对这个问题,也是有感情的。 To him, in the model is to really violate the direct feel, violates him as „esthetics that” Pethrus has. 对他来说,内模型实在是违反直观感受,违反他作为基派修士所拥有的“美学”。 How to say...... 怎么说呢…… Too uncomfortable. 太不爽了。 „Circulation is the universe most invariable phenomenon. Deletes the circulation in the arithmetic, the rejection is the circulation modeling, simply is......” “循环是宇宙最为不变的现象。在算学之中删除循环,拒绝为循环建模,简直就是……” He shakes the head. king Qi now is his boss, but Feng Luoyi is Master king Qi. But he as before not the concept that likes Yoshimoto gathering......, perhaps king won't Qiye like? 他摇了摇头。王崎如今是他上司,而冯落衣是王崎师父。但他依旧不喜欢良基集合的概念……嗯,恐怕王崎也不会太喜欢？ On the other hand, sea thunderclap honorable person. 另一方面,海霆真人也是的。 Thinks that in set theory overall, only exists „may construct set”, was extremely rather optimistic. 认为集合论总体之中,只存在“可构造集合”,未免太过乐观了。 In the final analysis, entire „in model”, in „relative uniformity” in the mentality develops to come. 说到底,整个“内模型”,就是在“相对一致性”的思路上发展而来的。 The relative uniformity, itself has „compromising for the general interest” in meaning. 相对一致性,本身就有“委曲求全”的意思里。 Through discarding these incompatible, thus achieves consistently. 通过舍弃那些不能并存的,从而达到一致。 Stretches the facts, cuts the foot to evade the insect. 削足适履,斩趾避虫。 He wants a stronger thing...... 他想要更强的东西……