有一天

先按下黄睿骑不表，讲讲黄晴的身份和日常生活。

黄晴的日常生活是在家里看小说，小说名叫《黄睿骑大战黄晴》黄晴通常看到半夜25点。

在讲讲黄晴的身份。

黄晴虽然语文很很很恨恨恨很很差，但她数学好。

黄晴与离紫情和阳元杭，姜志圣和一位神秘高手lzy并称为数学五大神。

离紫情与阳元杭我们先不说，姜志圣不用理他，说一下神秘高手lzy。

lzy是男的，与阳元杭私交甚好，于是阳元杭的妻子离紫情很很很很不高兴，于是天天骂阳元杭，阳元杭总会说：“对不起”，离紫情总会说：“对不起能让你妈活过来吗？”虽然我们不知道离紫情她的妈妈是什么生物，不过离紫情那么聪明，她的妈妈一定是高等生物。

回归正题，lzy天天和阳元杭厮混在一起。

让lzy名声大噪的是一场考试，考试叫大聪明考试，lzy超越了陌沫和核红羲，拿到了叁造钟学第一名。被猩猩级长表扬了一年。

接着讲黄晴。

黄晴曾经说过一句话“**art ass”意思是智能屁股。从这句话看出，黄晴数学很好。

黄晴证明过1+1＝2，内容如下

黄晴的这五条公理用非形式化的方法叙述如下：

①0是自然数；

②每一个确定的自然数 a，都有一个确定的后继数x' ，x' 也是自然数（一个数的后继数就是紧接在这个数后面的数，例如，1的后继数是2，2的后继数是3等等）；

③如果b、c都是自然数a的后继数，那么b = c；

④0不是任何自然数的后继数；

⑤设S是自然数集的一个子集，且（1）0属于S；（2）如果n属于S，那么n'也属于S。

(这条公理也叫归纳公理，保证了数学归纳法的正确性)

更正式的定义如下： 　一个戴德金-皮亚诺结构是这样的一个三元组(X, x, f)，其中X是一个集合，x为X中一个元素，f是X到自身的映射，且符合以下条件：

x不在f的值域内；

f为一个单射；

若x∈A 且 " a∈A 蕴涵 f(a)∈A"，则A=X。

该结构所引出的关于自然数集合的基本假设:

1.N(自然数集)不是空集；

2.N到N内存在a→a'的一一映射；

3.后继元素映射的像的集合是N的真子集，事实上即N\{1}（或N\{0})；

4.若N的子集P既含有非后继元素的元素，又有含有子集中每个元素的后继元素，则此子集与N相等。

1+1的证明：

∵1+1的后继数是1的后继数的后继数，即3，

∴2的后继数是3。

根据黄晴公理③，可得：1+1=2。

好了，先说到这里。

阳元杭

离紫情

姜志圣

番石榴是一种食物，橙子是一条狗，橙子渣连狗都不如。

橙子只是一种单纯的水果！！！！！　　

本书首发来自17K小说网，第一时间看正版内容！