我是来看大神的。

其实，上面那些我就一个看法
用数学来证明数学貌似很无耻，无耻没骂人意思，
就好像用马的理论去证明马的理论一样
一个死的循环又何必呢，看似很高深，其实已经定义了本质是数学，你还证明什么数学呢。