《不是定理》是著名歌手謝霆鋒演唱的一首華語流行歌曲。該歌曲收錄於專輯《零距離》中。
《不是定理》在拚命幾番痛擊或放任扭曲意識
面對命中宿敵
道理下許多罅隙
為錯誤諸多駁斥
但最後毒藥驟變美食
《不是定理》是一首由因葵作詞，謝霆鋒作曲，並由謝霆鋒演唱的一首歌曲，被收錄在謝霆鋒《零距離》專輯裡。
歌詞 歌曲鑑賞godel定理屬於數學領域，是指大家公認而不用證明的公里性質的定理。
基本術語 直覺主義 一致性 變形規則 敘述方式哥德爾定理是數理邏輯中的一個定理，1931年奧地利邏輯、數學家克爾特·哥德爾(Kurt Godel)發現並證明的，這個定理徹底粉碎了希爾伯特的形式主義理想。
簡介 相關條目在數學及許多分支中都可以見到很多以歐拉命名的常數、公式和定理。在數論中，歐拉定理（Euler Theorem，也稱費馬-歐拉定理或歐拉函式定理）是一個關...
歐拉其人 數論定理 幾何定理 拓撲公式 經濟學海瑞定理是中國法制史的一門學科。海瑞一共提出六個差別保護的例子和公平原理，疑罪從無的證明。其理論其大致分為三個定理；公平定理，差別定理和疑罪從無。而現代...
資料概況 簡介 定理 定理IIA 強論證歐幾里得定理是數論中的基本定理，定理指出素數的個數是無限的。該定理有許多著名的證明。
歐幾里得的證明 歐拉的證明 埃爾德什的證明 近期的證明 使用π的無理性的證明抽樣定理是通信理論中的一個重要定理，是模擬信號數位化的理論依據，包括時域抽樣定理和頻域抽樣定理兩部分。
簡介 定理內容 意義 分類 提示代數學基本定理：任何復係數一元n次多項式 方程在複數域上至少有一根(n≥1)，由此推出，n次復係數多項式方程在複數域內有且只有n個根（重根按重數計算）。...
簡介 證明歷史 證明方法