所謂的幾百種,通常都建立在已知公設或是之前已經證明完畢的東西...

而1+1=2這套系統,沒有Peano的後繼者系統來證明是不行的,自然無法去證明更多建構其上的東西

數學證明的價值在於它的精巧,而不在證明方法有多少種,龐加萊猜想搞死多少人,費馬定理又耗了多少年?