年輕人，在數學中你不理解事物，你只是習慣它們——馮諾依曼
Young man, in mathematics you don't understand things. You just get used to them.—John von Neumann
小朋友，膚淺的（高中）數學已經無法滿足於你，上車吧！ 邏輯學 歡迎你！
車門焊死，開始胎教。
我們舉一個最胎教的數學 命題 ：
過直線外一點，有且僅有一條直線與已知直線平行。
看到這句話，你腦子裏會出現什麽？
難免會出現線、點、位置關系的意象。
你以為那是抽象，對不起，當你腦內定格出某條直線、某個點、某種位置關系的瞬間，你已經具象了。
要剝離掉具象的幹擾，我們可以用 謂詞邏輯 將其 形式化 ：
令：
L(x)：x是(一條)直線
Pt(x)：x是(一個)點
P(x,y)：x與y平行
F(x,y,z)：x過y外z
則原命題為：\forall x \forall y(L(x)\wedge Pt(y))\rightarrow\exists z(L(z)\wedge F(z,x,y)\wedge P(z,x))
這裏面的各種符號，大概意思如下；在此我不作詳細解釋，不影響閱讀全文小寫字母 x、y、z 代表 個體變項 ，用於 泛指 某一類 客體 ；
大寫字母 L(line)、Pt(point)、P(parallel)、F(function) 代表 謂詞 ，給個體賦予 性質 ，若是多個個體則是賦予 關系；
全稱量詞 \forall 代表 對於全體 （for all）；
存在量詞 \exists 代表 存在 （exist）
合取聯結詞 \wedge 代表要同時成立；
蘊含聯結詞 \rightarrow 代表後面是前面的 必要條件
到這裏，聰明的小朋友可能就已經發現了數學的本質： 符號推演
數學其實就是一個 符號形式系統 。
所謂形式就是空殼子，這些符號都是一個個空殼子，各種任意的空殼子以各種任意的方式聯系巢狀在一起，形成了 空曠 如宇宙的 無垠空間 。
所以你就迷失了，迷失在這樣的空間中陷入沈思，而思維也只不過是人類演化的美麗巧合，演化發生在競爭中，而競爭不是別的，就是狠狠卷你手上的高考卷子。
正視現實，停止內耗，不要理解，只要習慣。
聽懂胎動。
說實話，我那會就是和題主一樣，年少無知，該學習的時候成天胡思亂想，沒把高考當回事，如今老大徒傷悲。
作為本科美術生，很想結合前沿知識做更有突破的藝術作品，但隔行如隔山，毫無基礎門道，跨專業考研根本無從做起，只能自己胡亂找教材，想象自己能在高校學習。
引以為戒吧。
最後來點肉麻的日本文學：
我深怕自己本非美玉，故而不敢加以刻苦琢磨，卻又半信自己是塊美玉，故又不肯庸庸碌碌，與瓦礫為伍。於是我漸漸地脫離凡塵，疏遠世人，結果便是一任憤懣與羞恨日益助長內心那怯弱的自尊心。其實，任何人都是馴獸師，而那野獸，無非就是各人的性情而已。——中島敦【山月記】
