Smiles the air flue thinly: „His performance recent, but is very fierce. Perhaps, he can refer to a new mentality to you!” 薄笑风道:“他最近几年的表现,可很是厉害。或许,他可以给你指一个新的思路啊！” End, he also said one: „I and his really very iron!” 末了,他又说了一句:“我和他真的很铁！” „Haha......” thin Xiaoya smiled: „When you said is. But the common people national champion, after all is king Qi the teacher. Will the friendship of multi- iron, help you handle this matter?” “哈哈……”薄筱雅笑了:“就当你说的是吧。可苍生国手,终归是王崎的老师。得多铁的交情,才会帮你做这种事情啊？” thin Xiaofeng sighed: „Perhaps this point is not funny...... I to contact again......” 薄笑风叹息:“这一点也不好笑了……或许我应该再去联络联络……” Bo more than ten free and unfettered, in entire now law immortal are rare. Moreover, their active ages, are quite early, are more than in the elementary force the person to be close. Bo stands erect for these years not but actually, the personal connection naturally is extremely broad. 薄家一门十余位逍遥,在整个今法仙道都是罕有。而且,他们活跃的年代,都比较早,多于元力上人接近。薄家这么多年来屹立不倒,人脉自然是极广的。 thin Xiaofeng felt, oneself must be able to find the famous teacher...... or the ally. 薄笑风觉得,自己应当能够找到名师……或者盟友。 thin Xiaoya is startled: „Yes...... present what monster jumped?” 薄筱雅一怔:“是啊……现在什么妖怪都蹦出来了呢？” „Younger sister?” “妹子？” „Elder Brother, I thought that you should better not to take a walk recently like this.” thin Xiaoya said: „Recently moved, not necessarily is Su Jun yu, king Qi such person. Now is too chaotic.” “哥哥啊,我觉得你最近最好不要这样走动了。”薄筱雅说道:“最近活动的,也未必都是苏君宇、王崎那样的人。现在真的太乱了。” As a result of the immortal pledge restraint, ten thousand methods has not resorted to arms to see the blood although, even that conflict of Capital City can only calculate „this solitary one case”. 尽管由于仙盟约束,万法门始终没有动刀见血,甚至黎京城的那一场冲突都只能算“孤例”。 However, cultivates because of the theory conflict to back up even the body dying say/way disappears, actually really many. 但是,因为理论冲突而修为倒退甚至身死道消的,却真的不少。 „Now the arithmetic foundation takes shape time. Before for several years, king Qi ‚inconsiderately calculates that’ will then have left sect Genji to crush. But now, fights to win or die to the sect, crushed even/including sect the foundation. Now the both sides tangled warfare, or the Nirvana, either dies together certainly.” “现在正是算学根基重新成型的时候。数年之前,王崎的‘不周之算’便已经将离宗根基粉碎了。而现在,离宗背水一战,也粉碎了连宗的根基。现在双方混战,要么涅槃,要么一起死绝。” „However more old fogies, hopes that can interfere with this process, wants to let in the next dozens years, the development of ten thousand method arithmetic, close to oneself tentative plan, looked at comfortably by oneself...... not, almost everyone, each group, has such demand.” “而更多的老家伙,也希望能够干涉这一过程,希望让未来几十年里,万法门算学的发展,更接近自己的设想,让自己看得更舒服……不,几乎每一个人,每一个团体,都有这样的诉求。” „But most of them, are only unproductive.” “但他们当中的大多数,都只是徒劳而已吧。” Saying, thin Xiaoya sighed heavily: „Contacts with these antiques, receives the infection that they conceive, perhaps instead does not help the progress of your arithmetic.” 说着,薄筱雅沉重叹息:“与这些老古董接触,受到他们设想的感染,说不定反而不利于你算学的进步啊。” thin Xiaofeng is silent. 薄笑风沉默不语。 Does he know this point? 他又何尝不知道这一点？ In fact, contrasts no spiritual energy universe Earth, in the divine land person clan „old codger”, really can „old and not dying”. 实际上,对比无灵气宇宙的地球,神州人族之中的“老不死”,是真的可以“老而不死”。 Bo Jia, Ai Jia's such colossus, can always be in a now law immortal position, and long-enduring releases own interference. 薄家、艾家这样的庞然大物,可以始终占据着今法仙道的一个位置,并持续性的释放自己的干涉。 Perhaps, geniuses who they could not have followed the first line. 或许,他们已经跟不上第一线的天才人物们了。 However, they can actually according to oneself „esthetic tendency” supported or opposed that some side, , to continue to mold the theoretical system in this manner. 但是,他们却可以按照自己的“美学倾向”来支持或反对某一方,用这种方式,继续塑造理论体系。 Compared with the new generation member, this strength naturally is not decisive. 和新一代修士本身相比,这种力量当然不是决定性的。 But will not be neglected and that's the end. 但也绝不会被忽略就是了。 Now, is historic moments in ten thousand method. 现在,正是万法门内的历史性时刻。 For member's demand, was lit in this flash innumerably, was concentrated. 无数代修士的诉求,都在这一瞬间被点燃,被集中。 Even if stands in the storm edge, will be fearful and apprehensive. 哪怕是站在风暴的边缘,都会胆战心惊。 At this moment, thin Xiaofeng calculates that trembles. 就在这时,薄笑风的算器震颤。 thin Xiaofeng is startled: „Su Jun does yu write in reply?” 薄笑风一怔:“苏君宇回函？” He found many people, actually without thinking, Su Jun yu had to write in reply quickly. 他找了不少人,却没想到,苏君宇这么快就有回函了。 Then, he selects to look. 然后,他点看一看。 „Lying trough...... do we really have iron that?” “卧槽……我们真的有那么铁？” „What?” thin Xiao Yarra crosses the correspondence, was shocked. “什么？”薄筱雅拉过信函,也愣住了。 „Is this research that...... non- Yoshimoto gathers?” “这是……非良基集合的研究？” Yoshimoto gathers, is „breaks refers to” one above of this mentality great achievements. 良基集合,是“断自指”这一条思路之上的伟大成果之一。 No matter „infinite axiom” and „transmission model” „structure” class, gathers with Yoshimoto related. 不管是“无穷公理”、“传递模型”还是“可构造类”,都与良基集合有关。 Properly speaking, Su Jun yu are also „Yoshimoto gathers” the beneficiary of research. 按理来说,苏君宇自身也是“良基集合”研究的受益者。 However, he actually ejects now...... 但是,他现在却抛出了…… „The research that non- Yoshimoto gathers......” thin Xiaofeng muttered: „Is this is doing......” “非良基集合的研究……”薄笑风喃喃自语:“这是在干什么啊……” Feng Luoyi „Yoshimoto gathers”, in fact „is not set that Yoshimoto gathers”, „dismisses” from the set theory, is „dismissal set” meaning. 冯落衣的“良基集合”,实际上就是将“不是良基集合的集合”,从集合论中“开除出去”,也就是“开除集合籍”的意思。 These not acknowledged thing. 这些都是不被承认的东西。 thin Xiaoya was also startled: „Does base send this wants...... the internal strife?” 薄筱雅也惊了:“基派这是要……内讧？” Chen is the base faction by and Su Jun yu. 陈由嘉和苏君宇都属于基派。 But Chen the theory by being completed, is with Feng Luoyi „infinite axiom” parallel, is profits from „Yoshimoto gathers”. 但陈由嘉完成的型论,可是与冯落衣的“无限公理”平行的,也算是受益于“良基集合”吧。 But Su Jun yu this is...... 而苏君宇这是…… „Is relational iron...... this?” thin Xiaofeng is moved to tears: „old Su, receives your favor!” “关系铁……是这样吗？”薄笑风热泪盈眶:“老苏,承你人情！” thin Xiaoya draws the situation instantaneously. 薄筱雅瞬间拉到地步。 In there, Su Jun yu gave the new prompt. 在那里,苏君宇给出了新的提示。 „Research that attention snow country sends.” “注意雪国派的研究。” ................................................................................................ …………………………………………………………………………………… The space undergoes three years of the end of the year, encircled the net to start. 宇历三年的年末,一个围剿网发动了。 First manifests suddenly, is the snow Country Faction. 最先发作的,是雪国派。 In fact, Yoshimoto gathers the injury not fuzzy logic set, probabilistic logic set. 实际上,良基集合伤害的不只有模糊逻辑集合,还有概率逻辑集合。 Probabilistic logic set, similarly not possible, in Yoshimoto gathers on realizes. 概率逻辑集合,同样不可能在良基集合上实现。 Different from the fuzzy arithmetic, only then thin Xiaoya and other small numbers of people are doing the research. Theory of probability, one of principal directions but the snow country sends. 不同于模糊算学,只有薄筱雅等少数人在做研究。概率论,可是雪国派的主打方向之一。 Therefore, with the base faction friendliest snow Country Faction, starts to launch this counter-attack on the contrary. 所以,反倒是与基派最为友好的雪国派,开始发动这一场反击。 But the next wave of attack, actually did not separate sect Lianzong. 而下一波攻击,却是不分离宗连宗了。 No one hopes divides the ball paradox to appear in own „arithmetic universe prospect”. Must dispel multiplicative axiom monster including the sect. But to sect, then must eat up the thing that buddhist Bach ejects. 谁都不希望分球悖论出现在自己的“算学宇宙图景”之中。连宗必须祛除选择公理这个怪物。而离宗,则必须吃下梵巴赫抛出的东西。 Therefore, cannot Ta Keak count, entered the view of populace for the first time. 所以,不可达基数,首次进入了大众的视野。 But this time, the base faction actually finally no longer is only then Su Jun yu, Chen entered the stage by fine two people. 而这一次,基派却终于不再是只有苏君宇,陈由嘉两人出场了。 wears Taichong, Zhao Qingtan and other bases sent the member, successively published the related paper. 戴太冲、赵清潭等基派成员,也先后发表了相关论文。 It is not able to disregard, cannot disregard. 无法无视,不能无视。 The arithmetic is objective, no matter how the base sends in the member emotion, must participate in this imposing internal fight. 算学是客观的,所以不管基派成员情感上如何,都必须参与这一场轰轰烈烈的内斗之中。 When the space undergoes for four years, the flames of war then burnt fiercely. 而在宇历四年的时候,战火便烧得更烈了。 Finally, the non- ten thousand method disciples discovered, the impact that ten thousand method turmoils have, has surpassed tribulation inconsiderately. 终于,非万法门弟子发现,万法门这一场动乱所带来的影响,已经超过了不周之劫。 king Qi tribulation inconsiderately, within 1st, abandoned ten thousand method about half member. 王崎的不周之劫,在一日之内,废了万法门近半的修士。 But now, ten thousand method most member have been involved in this turmoil. 但现在,万法门大半修士都已经卷入这一场动乱之中了。 Just, tribulation inconsiderately, erupted within 1st . Moreover, before also had «Silver Wing Assassin» propagandizes refers to the concept, and some immortal pledge early expectations, therefore was damaged the control. 只不过,不周之劫,是在一日之内爆发,而且,之前还有《银翼刺客》宣传自我指涉的概念,且仙盟早有预料,所以受损得到了控制。 But in a day loses the massive ten thousand method disciples, causes during the social consciousness the revolution difficulty. 只不过一日之内损失大量万法门弟子,才使得社会意识之间运转困难。 But now, is the dull knife shears the meat. 而现在,则是钝刀子割肉。 Has ten thousand method disciples to overstate every time. 每时每刻都有万法门弟子走火入魔。 Time from the beginning, everyone can also find the person to connect with the work of these cultivation deviation. 一开始的时候,大家还能找到人交接那些走火入魔者的工作。 But now, everywhere is the runnings at full capacity. 而现在,到处都是满负荷运转。 Yang Shenge the mountain cliff is also fully occupied. 阳神阁青山崖也是人满为患。 Said ten thousand method disciples who the heart collapses, are getting more and more. 道心崩溃的万法门弟子,越来越多。 All sorts of inconvenient, making the social concern gradually highlight. 种种不便,使得社会问题逐渐凸显。 Ten thousand methods, ignited one group of fire probably, flaming combustion, the free and unfettered overhaul, is a beginner, cannot help but invested in this fire, becomes the fuel of fire. 万法门内部,好像燃起了一团大火,熊熊燃烧,无论是逍遥大修,还是入门者,都不由自主的投入了这一场大火之中,成为了火的燃料。 No one can prevent all these. 没有人能够阻止这一切。 Member ten thousand Famen takes the immortal road, to strive, asked the say/way of arithmetic. Only if killed them, otherwise, they will not stop. 万法门修士走上仙路,就是为了求道,求算学之道。除非杀了他们,否则,他们是不会停止的。 Feeling of the end world, inexplicable spread. Even some people pessimistic did not indicate, ten thousand methods ended. 一股末世之感,莫名的蔓延开来。甚至有人不无悲观的不表示,万法门完了。 In the sorrowful great wild goose, the calculation families/home of ten thousand methods, are actually engaging in the final battle. 哀鸿之中,万法门的算家们,却在进行最后的交锋。 The base sends some member to the research that cannot Ta Keak be counted, gradually penetrates. 基派部分修士们对不可达基数的研究,也逐渐深入。 But cannot Ta Keak count, is not truly compossible with the structure class. 而不可达基数,确实与可构造类不可共存。 The counter-attack that the snow country sends is also sharp. 雪国派的反击也同样犀利。 Now, the security that proves the structure class counter theory, becoming to. 现在,证明可构造类逆论的安全性,成为必须。 A theory is whether safe, with it whether may prove, not relations inevitably. 一个理论是否安全,和它是否可证,没有必然的关系。 An inverse proposition of theory is whether safe, with it, similarly not relations inevitably. 一个理论的逆命题是否安全,和它本身,同样没有必然的关系。 Permission structure class it is safe. 或许可构造类本身是安全的。 However, its inverse proposition , may also be is safe. 但是,它的逆命题,同样也有可能是安全的。 The potential of encircling. 围剿之势。 Regarding this, sea thunderclap honorable person who went to to draft the day of division frontline actually appears unusual wind light cloud Dan. 对此,已经前往征天司前线的海霆真人却显得异常风轻云淡。 These slaughters, was he obtained the progress, created the vacillation to his say/way heart. He to the even/including sect difference, gradually has looked pale. 这一场厮杀,是他得到了进步,也对他的道心造成了动摇。他对离宗连宗的分歧,都已经逐渐看淡。 What is more important is...... he is in an impregnable position. 更重要的是……他立于不败之地。 But even the structure class inverse proposition security, does not represent to attest to falsity of structure class it. 就算可构造类逆命题安全,也不代表可以证伪可构造类本身。 But the structure class, may not prove. 可构造类,是不可证的。 He will perhaps not win, but is impossible to defeat. 他或许不会赢,但也不可能败。 This „giving up” general showing weakness, is certainly impossible other to stop. 这样“放弃”一般的示弱,当然不可能让其他人停下。 sea thunderclap can the undefeated, but they actually want „winning”. 海霆可以不败,但他们却是要“赢”。 Therefore, even/including sect the member, then put forward the new direction. 于是,连宗的修士们,便提出了新的方向。 All contradictions, are centralized and „structure class” in „in model” on. 所有的矛盾,都是集中在“内模型”与“可构造类”上的。 Constructivity axiom in natural justice system 【Zf axiomatics】 In may not the card otherwise. In other words, in the natural justice system, does not have the counter-example to be possible the card to see cannot construct the set. If supposed, in the natural justice system, the expansion of structure class for example, has the set that cannot be constructed, this supposition is equal to the supposition of constructivity axiom under natural justice system. This way, the natural justice system wants is not inconsistent. 可构造性公理在天理体系【zf公理体系】内不可证否。也就是说,天理体系内,不存在反例可证见不可构造集合。如果假设,在天理体系内,有一个可构造类的扩张比如说,存在一个不可构造的集合,这个假设就等于是可构造性公理在天理体系下的假设。这样下去,天理体系本身就要不一致了。 However, they can suppose that an ultra poor entity, as the expansion in model, then pondered deals with this expansion, constructs one is not possible to construct the set. 但是,他们可以假设出一个超穷实体,作为内模型的扩张,然后思考应对这个扩张,构造一个不可构造集合。 What only pitifully is, this is not the partner who member even/including sect can complete. 只可惜的是,这不是连宗修士能够完成的伙计。 Including the sect operation, does not contain „infinite” and „ultra poor”. 连宗算理,是不包含“无穷”与“超穷”的。 They threw to the issue to member sect. 他们将问题抛给了离宗修士。 However, this mathematics problem, contained to the mentality that member sect is unable to understand. 但是,这个算题,却包含了离宗修士所无法理解的思路。 Therefore, then continued for a long time leaves a civil war. 于是,便是持续了许久的离宗内战。 However...... 但是…… Su Jun yu muttered: „Mother , thank is a Mr .” 苏君宇却喃喃:“妈呀,真的,感谢算君。” In this flash, only then looks has calculated he who Monarch draft manuscript, the crossing ocean thunderclap and buddhist Bach direct realized this point. 在这一瞬间,只有看过算君手稿、得过海霆、梵巴赫指点的他意识到了这一点。 According to mentality that the intuition sends, they do not need to consider the natural justice system with his ultra poor overall that systems that adds on the set theory sentence is whether consistent. 按照直觉派的思路,他们并不需要考量天理体系与其自身加上集合论语句的系统的超穷总体是否一致。 They only need to cut two finite sets to gather in the natural justice system, respectively corresponding natural justice system, with natural justice system and overlay of set theory sentence. 他们只需要在天理体系内斩出两个有穷集合,分别对应天理体系自身,与天理体系、集合论语句的叠加。 Then, unceasingly to two finite sets about increasing two theories in detail „element”, during relations between two sets comes out until the theory translation phenomenon of function, lets the inconsistent proof transfer translation function. 然后,不断给两个有穷集合添加两个理论更加详细的“元素”,直到理论翻译函数在两个集合之间的关系之中现象出来,让不一致的证明调用翻译函数。 This simply looks like with some violent way, the unceasing expansion arithmetic, making arithmetic prove itself. 这简直就像是用某种暴力的途径,不断扩张算学,让算学自己证明自己。 That is, forcing method. 这就是,力迫法。 Completes the paper the flickers, Su Jun yu is powerful , to promote again. 完成论文的这一瞬,苏君宇气势如虹,再次晋升。