在证明之前，首先我先要说清楚什么是自然数，什么是加法。也就是说，类似于几何的公理化理论体系，我需要提出几个公理，然后据此定义自然数，进而定义加法。
先来定义自然数吧。根据自然数的意义（也就是人类平时数数时对自然数的运用方法），它应该是从一个数开始，一直往上数，而且想数几个就可以数几个（也就是自然数有无限个）。据此可以得到以下公理：
公理1.0是一个自然数。
公理2.如果n是自然数，则s(n)也是自然数。
也就是说……】
======================================================
“……这一题我放、放弃otz”思考了n久之后，还是无法完善的证明这个命题的江悠泪流满面，“话说这真的是第一题吗？！？虽然看起来题目很简单但是却难得要死，要是后面的题目都这样的话，我百分之百通过不了的qaq”
“呃，这个，纯属意外，纯属意外，我换一下题库来源并且增加语音系统好了…….”
不久后……
“叮，题库转换完毕。
第2题，一对情侣在约会，之间买了一块可丽饼，妹子吃掉了七分之三块，男的则吃掉了剩下的七分之四块，付钱时，男生比女生多付了4.5元。请问，这块可丽饼售价为多少元？”
“唔，这道题很简单啊，答案是——31.5元！妥妥的，肯定是这个答案啦。”
“……”【黑板】沉默了。
“……”桥姬沉默了。
“咦，你们怎么都不说话了？难道我又错了吗？！？”
“活该您没有女朋友……咦，不对，您是只萌妹子！收回前言！要是以后您和您的男朋友约会逛街时遇到以上情况，而对方和您的思路一样，吃多少付多少的话，不用犹豫，之后直接甩了他吧（￣へ￣）”
“咦？”江悠莫名其妙ing。
“嗯，没错没错。要记住姐姐的话哟，”不知不觉间，一脸担忧的表情的桥姬也跑到了江悠旁边，轻轻地拍了拍她的肩膀，语重心长地说，“没有什么特殊原因的话，那种男生直接放弃，让他孤独终老好了，反正我们幻想乡的妹子绝对不会发愁嫁不出去的。对了，即使你以后准备走百合那条路的话，这句话也一样适用，别被骗了啊。”
“咦？！？”江悠还是不知道桥姬在说什么ing。