1樓：去象歸心
公理。定理。推論。
公理不證自明。
定理在一定條件下由公理推導證明出來。
推論也可以說是某種定理，但比定理的限定條件要多一些。
從上之下，越來越特殊化，越來越區域性化。
推論再往下一點就快到公式和題目了。
然而，乙個人不應當嘗試證明任何不是幾乎不證自明的東西。不應當嘗試證明任何低於定理的東西。
不是因為證明抽象的一般化的定理比解一道數學題要難，雖然，證明乙個定理確實比證明數學題要難上許多。但這不是重點。
乙個人證明乙個定理，不是為了定理本身。而是因為，定理離公理最近。
格羅滕迪克愛的是公理，愛的是大主題。這裡有最大的價值，最大的意義。
而公理卻不需要證明，大主題不需要證明。
就如他在《播種與收穫》中所提到的，「這不是我的作品缺乏的主要定理，包括那些解決了別人提出的問題的定理——在我之前沒有人知道如何解決。然而，正如我已在「漫步篇」強調的權利，這些定理只有在這些"富饒的想法"引發的巨集大主題之滋養中，才對我有意義。定理跟隨它們，就像毫不費力地跟隨春天，甚至從它們的本質中，由主題的"深度"裹挾著，像河流的波浪似乎平靜地從其深處湧出，沒有掙扎或破裂。
」定理跟隨大主題，就像跟隨春天，跟隨太陽一樣。
最重要的一直都是大主題。如果你也愛，你會明白格羅滕迪克這句話的意思——定理只有在這些巨集大主題的滋養中，才對我有意義。
「one should never try to prove anything that is not almost obvious.」
去證明那些離不證自明的公理最近的定理，我這麼做，不是為了定理，而是因為它們離我的所愛最近。
2樓：
我想到初中定理中最難的實際上證明全等三角形的各類判定定理，嚴格證明的要求其實初中一直不要求。我畢業後在看這些內容，其實覺得證明這些顯而易見的內容還是有點東西的。
如何評價亞歷山卓大帝？
噼里啪啦 古典世界的征服者，居魯士從乙個公尺地亞治下小部落到第乙個世界帝國，征服了大部分已知世界，亞歷山卓則繼承了他的衣缽，征服且探索更多未知的地區 月亮河 亞歷山卓東侵其獨特的進攻和遠距離機動作戰方式，卻在世界戰爭史上留下了重要的一頁。他孤軍深入，以進攻為主連續戰鬥，進行了數以百計的搶渡江河 圍城...
如何評價伯格曼的《芬尼與亞歷山卓》
曜靈 伯格曼總是在自己的電影中變相地呈現自己的童年陰影和失衡的家庭。這部 芬妮與亞歷山卓 應該是伯格曼所有電影當中最 好看 的一部了，畫面很美，分鏡也很好，就是敘事效率有點低。芬妮與亞歷山卓 海報，cc重製版 我看的是三個小時版本，另乙個版本五個小時。三小時版本的有些東西沒有交代清楚，比如說，亞歷山...
如何評價教皇亞歷山卓六世？
天才的陰謀家，長袖善舞兼具帝王之才，年僅27歲即高居羅馬教廷副秘書長 2號人物僅次於教宗 其所在家族在歐洲大陸惡名遠播，本人更是為了權力不擇手段的狠人，因為教士不能結婚，但有4個承認的私生子，長子凱撒 波吉亞深得真傳最受寵愛，父子兩代人在那個屬於他們的時代翻雲覆雨，成為了15世紀末16世紀初義大利政...