數學公式是人類對世界本來的、固有的客觀規律的主觀反映和符號表達。自然規律早已存在，只是在被人認識了之後，才用公式表達了出來。

問題本身更想表達的或許是“數學公式是被髮明的還是被發現的？”

因為不管是被發現才存在，還是本身就存在，結果都是“一定存在的”！不管人類有沒有發現，數學公式都是存在的。

說白了，問題的本質就是：如果沒有人類這個智慧物種存在，數學公式還存在嗎？

其實還是存在的，本身就存在，只是沒有被發現而已。

數學公式其實是人類通過不斷地對客觀世界觀察探索抽象總結出來的，即使你不抽象總結，公式仍舊存在客觀規律裡！

就像你從河流裡舀一碗水，這碗水是本身就存在的，還是你從河流裡舀出來之後才存在的？顯然是本來就存在的。

即使沒有人類，很多動物都明白“兩點之間，直線最短”這個最簡答的數學原理，不管是本能的明白還是其他。就算沒有人類，勾股定理仍舊存在，就算一直沒有智慧物種發現這個定理，也不妨礙它一直客觀存在著！

數學，其實就是抽象的邏輯學，嚴格來講並不數學科學範疇，我們通常所說的科學是自然科學，數學只是人類認知世界的一種工具而已。

當然，關於這個問題，肯定會引申出唯物與唯心之間的爭論，最終會上升到哲學辯論，而唯物與唯心的辯論一直沒有停止過！

請注意審題，題主的問題。嚴格的回答這個提問，有兩個答案互為佐證。

一，數學公式，是因為發現才存在的。

二，萬物是本就存在。（為什麼有這第二條，是因為題主的問題雖然是一個，但就是因為和宇宙萬物的存在產生辯證認知障礙，才會提問）

對數學的解讀：數學公式，是以人類的思維邏輯，對萬物的解讀。這是古希臘數學邏輯奠定的基礎，我們所有的數學解讀都是在這個邏輯下的衍生和深化。100，你可以用加法做，你也可以用減法做，你也可以用乘法做。產生100這個數的結果的數學方法有很多。你可以創作很多種方法，不同的方法來解讀100這個東西。總歸人類要辯證解讀一個東西，殊途同歸，都是同一個數學邏輯上。

對萬物的解讀：萬物從宇宙大爆炸開始，就一直存在，人類窮極一生，有很多科學先驅，比如愛因斯坦，牛頓，還包括一些先哲，都在用各種角度去解讀創世，世界萬物，用現在科學的說法是宇宙大爆炸。具體宇宙大爆炸的原第一推動力是什麼，現在還不得而知。但萬物，從大爆炸那一刻開始，就一直存在。一個蘋果，不過你用什麼公式，什麼角度去解讀他，蘋果就是個蘋果。不同的角度，不同的公司，只是增進不同的理解而已（注：引用用上面的解讀）。這不會因為數學邏輯的不同，角度的不同，蘋果變樣。蘋果依然是那個蘋果，萬物依然是那個萬物，宇宙依然是那個宇宙。

綜上所述。兩點互為辯證。則題主的問題的答案是，數學是因為被發現才存在，附：萬物才是本身就存在。（宇宙大爆炸的第一推動力是上帝還是其他，暫時無解，無需抬槓）

本人回答問題，向來簡潔，一般不超過20字。但這個問題，確實要花點文字，用通俗易懂的文字來回答。

本題很值，我的解題思路如下

先看看，數學公式是什麼，有哪些型別，有什麼特徵；再看看，數學公式是怎麼來的；

若數學公式來自客觀世界，它們就是自然界固有的，屬於科學發現，就是純自然的。

若數學公式來自主觀世界，它們就是超自然的，屬於技術發明，就是純理性的。

若數學公式，既來自客觀世界，又有主觀改造，那麼它們具有主客觀的二重性。

數學公式，是用抽象的數量符號、運算子號與關係符號連線起來的表示式。

數量符，包括：【數字符號】，如8848, 0, 0.618，【字母符號】，如π，e，a+bi，

運算子號，包括：【四則運算】如+-×÷；【函式運算】，如√x, sinx, xⁿ, eˣ, lnx, n!, Σ, ∏, dx, x",∂x, ʃf(x)dx, f(g(x)),▽,△或▽²。

關係符號，包括：【等量關係】如=,≡；與【不等量關係】如≈,≠, ∝, >, ∈, ≮,⊃

恆等式，是代數式或多項式可等效變換。

如：1+1=2，a²-b²=(a+b)(a-b)，自然數的集合：N={1,2,...,n-1,n}

方程式，是因變數與自變數之間的對應關係，有時也叫解析式、函式式。

如：勾股定理c²=a²+b²，斜邊與直角邊互為自變數。拋物線方程y(x)=ax²，也叫二次函式，也可以寫成：y(x)-ax²=0。

不等式，是左右兩邊的代數值不等。

如：曲面三角形內角和：A+B+C≠π。凸面三角形內角和：A+B+C>π。

相關式，特指在因變數與自變數之間，保持特定的正變關係、反變關係、拓撲關係。

如：速度稍有增大，溫度劇烈增大，即速度與溫度是正相關的：T∝½mv²

如：電磁波頻率(f)越高，資訊量(B)越多，頻率與資訊量是正相關的：B∝hf

其一，數學公式，是抽象的、超自然的。

抽象，是從不同的具體事物抽取共有的參量，是忽略各種差異，進而化繁為簡。

抽象源於現實又高於現實。抽象思維是人類智慧的集中表現。

公式，是數學思維的成果與結晶。數學公式是所有科學公式與技術公式的基礎。

例如：場量子輻射能ε(λ)=hc/λ基於反比例函式f(x)=k/x。動能Ek=½mv²基於拋物線方程f(x)=kx²。

其二，數學運算，最終是加法運算。

數量符號，代表事物存在與運動的規模或強度。如，三角ABC與三邊abc，圓半徑R。

運算子號，無論是加減乘除還是函式運算，都是代表事物間相互作用的【疊加效應】。

∵事物作用，歸根結底，都是【疊加】

∴數學運算，歸根結底，都是【加法】

這也是計算機原理的一個重要方面。再複雜的運算，如△=d²/dx²+d²/dy²+d²/dz²，最終還得迴歸到二進位制【0&1】的加法運算。

又如，e^iπ+1=0，其中e^iπ=1·e^iπ，只不過是模1在複平面是旋轉π弧度變成-1，表明：虛數講旋轉，實數講伸縮。

數學關係，或【等當】或【相關】，本質上，皆源於參量之間的制約關係。

例如，光電效應是電子動能增量與光子輻射能增量的共時關聯：½m₀△v²=h△f，電子速度(v)與光子輻射頻率(f)，二者制約。

例如，勾股定理c²=a²+b²反映千變萬化的直角三角形三邊之間共有的動態制約關係。對於5²=3²+4²，可看成是一個靜態關係。

顯然：雖在自然界不存在與數學公式對應的事物；但在超自然的技術界，數學公式是一種強大的客觀存在。

因此：就數學應用或工程技術而言，數學公式可以作為一種特殊的【科學發現】。

然而：為了與例如物理公式區別開來，最好還是把數學公式歸屬為【技術發明】。

不過，值得注意的是本文最後一節所要提醒的內容：我們要規避數學自身的瑕疵。

講證據，是科學的第一原則；沒證據，就不可能有正確的認知。無數事實表明，現實世界有三個等效的不存在：

①不存在【無窮小】或無限可分性。

無窮小(dx)是不等於絕對零且無限接近絕對零。這本來就是自相矛盾的。

筆者定義，微分dx是既dx→0又dx≠0，或者dx≈0的足夠小量。這樣可規避因無窮小而導致【密度無窮大】的第二次數學危機。

②不存在【無窮大】或無邊無際性。

無窮大是無窮小的倒數，即：∞=1/dx，如果dx≈0，∞就不是無窮大，而是儘可能大。

除了【數學歸納法】可能涉及無窮大，似乎可以嚴格證實。但這只是一種“意淫”，一種幻覺。有人竟然說“高階無窮大”。

有人說，宇宙是無窮大的。顯然，這是無法測量、無法量化、無法證明、無法認知的。

我們充其量只能認知【可觀測宇宙】或者【足夠大宇宙】，而無窮大宇宙永遠不知道，你什麼也做不了，做了也徒勞。

現實中，人們似乎有【絕對零】的直覺，但這種直覺只能是想當然與莫須有。

事實上，現實的零，是把某個參照系的有關參量作為零點測量基準。而這個參照基準不是絕對零，即：

【零】=【相對零】=【參比零】

例如，把物體某處的地球表面作為零點勢能，把離地不很遠的作為最大勢能。

注意，不是離地無窮遠處，因為到了拉格朗日平衡點之外，地球的引力勢能≈0。

例如，人死了，火化了，似乎變成了虛無。其實是參比那個活人的【完整有】而言。

數學公式，不是從天而降，不是宇宙中固有的，而是人類對自然現象進行抽象的超自然產物。

嚴格講，數學公式是人類思維所創造的技術發明。寬泛講，數學公式是基於自然現象的間接性的科學發現。

須注意，無窮小(1/∞)、無窮大(∞)、絕對零(|0|)，不是基於現象的抽象，而是數學界沒有事先規避的瑕疵。

本身就存在，但是存在的不是數學公式，公式是幫我們理解這個世界，把人不好理解的東西轉化成人可以理解的語言，數學是一種語言。

數字只是一種語言，人類有很多種語言，人類語言只是人類創造出來的

數學只是人類的計數方式，有些動物或者外星人的的計數方式可能根本不用數學，所以數學公式對它們來說根本無用。數字只是人類臆想出來的一種計數文字，或許外星人有更為高階的計數方式，或許外星人的計數方式根本不需要公式就能更快的得到結果。

數學雖然方便了人類的生活，同時也限制了人類的思維。我們探索宇宙奧祕的時候常常使用數學來計算，也就是我們使用“數學”這種語言與宇宙對話，但是宇宙卻認為這種語言過於低階，根本不足以讓我們更瞭解它，因為數學只能計算到已知的事物，對於未知的還是無能為力。

總結：數學就是一門語言，就如同有人問你：吃了嗎？你先要判斷你到底吃了沒，如果你撒謊，那這個公式便不成立！其實我們說話的邏輯也是一種公式。所以，數學公式並不是客觀存在的，只是我們的一種思維邏輯而已，（）+（）=2可以用無數種公式得到結果。

可以用卡西爾的符號哲學來解釋這個問題。但在解釋之前，必須用闡釋學的基本原則來規範解釋行為。

闡釋學的第一法則：任何解釋都可能是誤解。第二：所有的解釋只能生出更多的歧義，只有本原是可靠的。

所以，不要偏信任何解釋。解釋越多，證明歧義越多。只有接近本原的解釋，才可能接近真實，其它的所有解釋，只不過是可參考補充形式。

能夠表明卡西爾符號哲學的核心話語：人能夠創造符號，同時又符號化。詳見卡西爾所著《人論》。

什麼是符號呢？卡西爾所說的符號是系統，而且有全集和子集的劃分。在卡西爾看來，人類所有的創造都是符號，又可以分成許多子集，例如語言系統、文字系統、生存物質系統等等。至於數學，理所當然的也是一個符號系統子集。

但是，子集之間有千絲萬縷的聯絡。因為全集的存在，這本來是不需要說明和強調的問題。但畢竟分類是有用的和有效的，正如分類是有害的一樣，因為分裂割裂了事物之間千絲萬縷的聯絡。

無論如何，數學不能缺少語言文字的疏通，但卻是由數字和各種諸如+—x÷=≠><等等標準符碼來呈現的。每一個公式都可以看成是某種符號的集合，而且是合乎邏輯的。邏輯不僅是創造和發展數學的方法和手段，同時也是創造和發展的結果。這意味任何已知的和未知的公式，都是某種邏輯整合。

在所有的物理學的分類領域，諸如射流學、電子學、天體力學、地球物理學等等，邏輯學成為人與自然之間唯一的路橋。所以，人們絕不能忽略數理邏輯。數理邏輯！重要的事情重複一遍。

一加一等於二，這是唯一的，絕不等於其它。這是數理邏輯的原始必然而不是或然。然而，與門、或門的同時存在，需要數理邏輯開闢新的邏輯正規化或者邏輯集合。

數學是理論的，同時也是實用的，不需要再分，實用或實踐推動理論發展進步，理論引導實踐開闢前行。由此導致的理論物理學與實驗物理學的分野。然而，理論物理學只不過是偵察兵或者尖兵，實驗物理確是大兵團。理論物理的任何定理和公式，都必須接受實驗物理學的檢驗，由檢驗的結果來判斷理論的真實或荒謬。

其實，數學不僅需要與物理學緊密結合，與任何其它的所有學科也互相需要。

數學研究物質世界的空間存在方式，這是可以不絕對確定的。

數學公式是被發現的，斯里尼瓦瑟·拉馬努金（Srinivasa Ramanujan，1887年12月22日－1920年4月26日），出生於印度，亞洲歷史上最著名的數學家之一。 拉馬努金“沒受過正規的高等數學教育”，沉迷數論，尤愛牽涉π、質數等數學常數的求和公式，以及整數分拆。他慣以直覺（或者是跳步）匯出公式，不喜歡作證明（事後往往證明他是對的）。他留下的那些沒有證明的公式，引發了後來的大量研究。

這個人沒有受過正規高等數學教育。

拉馬努金病重，哈代前往探望。哈代說：“我乘計程車來，車牌號碼是1729，這數真沒趣，希望不是不祥之兆。”拉馬努金答道：“不，那是個有趣得很的數。可以用兩個立方之和來表達而且有兩種表達方式的數之中，1729是最小的。”（即1729 = 1³+12³= 9³+10³，後來這類數稱為的士數。）

不明白，他是怎麼做到的。拉馬努金的數學水平已經遠遠超過了印度的數學水平，以至於只有世界上頂級的數學家才能懂他。

他有著很強的直覺洞察力（可稱之為“數感”），雖未受過嚴格數學訓練，卻能獨立發現了近3900個數學公式和命題。他經常宣稱在夢中娜瑪卡爾女神給其啟示，早晨醒來就能寫下不少數學公式和命題。

自然是因為本身就存在，

不過不要誤解，這不代表所有數學都可以在現實中找到；

數學是因為邏輯存在和現實存在，才會被發現；

要注意，不迴圈無理數、質數等等是不是邏輯？

當然是。

再比如1+1=2，這很容易理解；

1+1=3呢？當然也存在，一對男女變成3口之家；

數學包羅永珍，超過現實，包括邏輯幻想。

比如克萊因瓶，現實可能不存在，但可以想像的到，可以用數學解釋；

再比如虛數，一個數的平方=-1，存在嗎？想都想不出來，但它數學存在，而且在現實運用中有很大作用，現在想不出來，可能是現代文明仍然見識不夠，也或者真的不存在，但數學邏輯存在。

數學永遠是因為存在，所以能發現；

包括謬誤、錯誤，因為存在，所以被發現。

數學公式當然不存在，數學是一種工具，這只不過是人類用自己的工具對自然規律的一種描述，那麼同樣，你也可以用別的方式去描述它。規律一直存在，但是數學公式不是。

數學公式是人類在自己的認知裡面發現的，在目前人類認知的情況下是認為正確的，換到更大的宇宙中就不一定了。人類自己建立了一套體系，然後用東西去統一他這就有了公式。個人認為公式並不存在

發現就是本身存在，被生物知道並使用

發明是本來不存在，被生物製藥並使用

比如人類用望遠鏡發現了木星，在沒有望遠鏡以前，木星就已經存在了。

愛迪生髮明瞭燈泡，世界上第一個燈泡是他製造的，以前並沒有。

第一點，我就想知道，本身不存在，怎麼被發現？你能發現一個本身不存在的東西嗎？

第二點，存在了不被發現你是怎麼知道的，

第三點，我覺得你想問的不是你文字表達出來的東西，你是想問數學公式是被創造發明的，還是本來就存在的，對嗎。

下面是答案：很多物理學家會說物理即數學，為什麼這麼說呢，因為都是發現自然界客觀事實，客觀規律的科學。所以那些公式定理都是客關存在的，不以你的主觀意志為轉移，但僅限於數學哈，有些學科的公式都是暫用公式，在修正中，這種就屬於發明創造了

數學公式本身是不存在的，存在的是客觀規律！公式所代表的是規律而不是按部就班的東西，是可以靈活運用！公式也可以代表對自然規律中量的分析，用以解決更抽象的問題！

有些東西無法用公式表示，而只能近似的公式去表達！

公理和定理都需要被證明後才能成為公理和定理，沒有被證明的公式也是不能成為理論推導的依據的！

最後想說的是千萬不能把掌握公式認為是已經學會，已經掌握了！你只不過是掌握了前人已經證明的量與量之間關係，一項科學的發展必須依靠人的探索未知的興趣，如果沒有這類有興趣的人，科學成就無法發展，更別說公式了！

說的更直白一點，公式只是用於記錄和表現自然規律！

知道為什麼有數理化，各自代表科學宇宙方式，數學是邏輯規律是一種思維方式，所以就有了維度說。物理是具體存在的科學是被提醒出來的，化學是微觀科學，各種元素物質反應與變化。

你的問題中已經隱藏了你的答案，既然說是發現，就說明是已經存在，要不然不存在的東西怎麼能發現？就如同神仙一樣，你怎麼都不會發現的！

說實話，這問題正是我不喜歡和985以外畢業的聊深層次的問題的原因。看了這麼多回復，都懶得去說什麼了。數學可以說是這個宇宙最深刻的語言了。

本身就存在，是人類科學在不斷摸索探究中逐漸被發現的，只是以人類自身能認可的符號來表達，如果換作其它文明又是另一種符號來表達闡述，但結果都是一樣的

數學公式只是邏輯形式，可能另一種生物或某個星球的生物的邏輯是另一種邏輯形式，那麼這些個公式對他們來說是沒有任何意義的

這個問題就是認知論問題。不是數學問題。康德的純粹理性批判就是說這個的。你去認知事物，是你決定他還是他決定你。