“呃...胜利与否都不能影响任何东西。”你已经开始摆烂,并用求助地目光看向老师。
老师叹了口气,道:“定义言境此处数学系统如下:一个数学元素或是数字,或是需要输入数字的数学元素,即函数,或是已输入数学元素的函数。
定义输入其本身函数的函数为*底*,定义所有数或是*自然数*,或是底,且所有数或高于底,或为底。定义任意两自然数间存在比较关系,两自然数甲,乙间或是甲大于乙,或是甲小于乙,或甲为乙。
定义递增函数,输入非底自然数后,输出大于该自然数但小于尽可能多数的数。定义递减函数,输入非底自然数后,输出小于该自然数但大于尽可能多数的数。对于0,递减后为0。
对于所有函数,函数之间存在严格递增关系,即若两函数甲,乙输入自然数后所得数存在比较关系,该比较关系在自然数递增后仍成立。同理,函数之间存在严格递减关系。
对于所有函数,存在至少一极值,使得函数在输入该极值后输出该极值。”