ImagePrincipia Mathematica 5443pngthumbright500px5443 從這個命題可推匯出 假設算術加法已被定義 1 1 2。 卷 I，第 1 版，379 頁（第二版的 362 頁，刪節版的 360 頁）。全證明實際上是在卷 II，第 1 版，86 頁完成的，並輔以註釋 上述命題只是偶爾有用、在11366 和120123472 的證明中至少用到了三次 《數學原理》（，縮寫 PM）是由伯特蘭羅素與他的老師阿爾弗雷德諾思懷特黑德合著的一本數學書籍，書籍共分三卷，分別出版於 1910 年，1912 年，1913 年。 它通常縮寫為 PM Principia Mathematica，為表述所有數學真理在一組數理邏輯內的公理和推理規則下，原則上都是可以證明的。因此這一雄心勃勃的專案對於數學史和哲學史都是非常重要的，然而在 1931 年，哥德爾不完備性定理證明對於數學原理或其他任何類似的嘗試，這個崇高的目標皆永遠無法達到；也就是說，任何嘗試以一組公理和推理規則來建立的數學系統，不是不自洽，就是不完備 即存在一些數學真理不能由此係統推理演繹出來。 數學原理的一個主要的靈感和動機來自於邏輯學家戈特洛布弗雷格的工作，但伯特蘭羅素髮現其允許建設有矛盾的集合（羅素悖論）。數學原理排除無限制建立任意的集合來試圖避免這個問題，它以不同 型別 的集合來取代一般的集合，一組特定型別的集合只能包含套較低的型別。然而在當代數學，會使用如 ZermeloFraenkel 的集合理論體系，來避免如羅素的笨拙方式。 現代圖書館將此書排在二十世紀英文非虛構書籍中的第 23 名。 覆蓋範圍 原書僅囊括集合論、基數、序數和實數，並沒有包括實分析等複雜定理。然而，前三卷所設基礎已令許多讀者相信，從理論上來說，書中所用的形式邏輯可以用來推匯出絕大多數的已知數學定理，但其實際工作的繁瑣程度亦顯而易見。 作者原本籌劃撰寫涵蓋幾何的第四卷，但在完成第三卷後，作者靈感匱乏，未能成書。 理論基礎 由於在理論上由庫爾特哥德爾（下同）的批評指出，不同於形式主義理論，PM 的 logicistic 理論有沒有 形式主義的語法明確說明。另一種看法是，在理論上，（在模型論的意義上）解釋的真值的符號的行為來表述 （真理斷言），〜（邏輯非）和 V（邏輯或）。 真值：PM 嵌入 真 和 假 的概念，原始命題 的概念。原料（純）形式主義理論所不能提供形成了 原始命題 誠，符號本身可能是絕對武斷和陌生的符號的含義。該理論將符號行為也只是如何基於理論的語法指定。再後來，透過 價值 的分配，模式將指定什麼公式說的解釋。因此，在正式的克萊尼符號下方設定，解釋 什麼樣的符號通常是指，並暗示他們如何最終被採用，在括號內，例如，（不）。但是，這不是一個純粹的形式主義理論。 正式的理論的當代建構 下面的形式主義理論是作為對比 PM 的 logicistic 理論。一個現代的形式系統將構造如下： 使用的符號：該組是開始集合，其它符號可以出現，而是僅由從這些開始碼的定義。起始組可能是 Kleene 從中匯出的以下一組：邏輯符號 （意味著，IFTHEN），＆（和）中，V（或），（不） （所有），（存在） 謂詞符號 （等於） 函式符號 （算術加法），（算術乘法），（繼任者） 個別符號 0（零） 變數 一，B，C 等；和括號 （ 和 ）。 符號串：該理論將透過串聯（並列）建立這些符號的 弦Kleene 195271 Enderton 200115 形成規則：理論指定的語法規則（語法規則），通常為以 0 開頭，並指定如何建立可接受的字串或 合式公式（Wff）遞迴定義 Enderton 200116 這包括對於所謂的 變數（相對於其他符號型別）中的符號串的規則對 替代。This is the word used by Kleene 195278 變換規則（S）：指定符號和符號序列的行為的公理。 推理，支隊規則，肯定前件：允許理論從 前提，導致到了 分離 一個 結論 的規則，並隨後放棄 處所（符號到行的左邊或符號線之上，如果水平）。如果不是這種情況，那麼取代會導致在必須進行前向越來越長的字串。事實上，假言推理的應用程式後，沒有什麼是離開，但結論，剩下的永遠消失。 當代理論往往指定為第一公理古典或假言推理或 脫離規則： A，A乙乙 符號 通常寫為水平線，這裡 是指 意味著。符號 A 和 B 是 替身 的字串；這種形式的符號被稱為 公理模式（即，有一種特殊形式的符號可以採取可數）。這可以讀取類似的方式 IFTHEN 但有區別：給定的符號串 IF A 和 A 蘊涵 B，那麼 B（並保留進一步使用僅 B）。但符號都沒有 解釋（例如，沒有 真值表 或 真值 或 真理功能）和假言推理機制上進行，由單獨的語法。 構成 PM 理論既有相似之處顯著，以及類似的差異，當代形式理論。克林指出，這種演繹的數學與邏輯提供了直觀希爾伯特的公理被設計成相信，或者至少被接受為關於世界的假設合理的。Quote from Kleene 195245 See discussion LOGICISM at pages 4346 事實上，PM 理論不像形式主義理論，即操縱符號根據語法規則，PM 引入了 真值 的概念，即在現實世界意義的真理和謬誤，以及 斷言真相 幾乎立即作為理論結構的第五和第六元素（PM 1962：436）： 版本差異 卷 I 有五個新增： 附錄 A 編號為 815 新增謝費爾豎線 附錄 B 編號為 89 討論感應沒有還原性的公理 附錄 C、8 頁討論命題函式 8 頁的列表定義最後，給急需的索引使用的大約 500 個符號。 1962 年杯發表縮短平裝版包含部分的第二版的卷 I 新介紹，正文 56 和附錄 a 和 C。 參見 各種數學敘述 參考資料 外部連結 The first edition was reprinted in 2009 by Merchant Books ISBN 9781603861823 ISBN 9781603861830 ISBN 9781603861847 Stephen Kleene 1952 Introduction to MetaMathematics 6th Reprint NorthHolland Publishing Company Amsterdam NY ISBN 0720421039 Ivor GrattanGuinness 2000 The Search for Mathematical Roots 18701940 Princeton University Press Princeton NJ ISBN 0691058571 alk paper Ludwig Wittgenstein 2009 Major Works Selected Philosophical Writings HarperrCollins NY NY ISBN 9780061550249 In particular Tractatus LogicoPhilosophicus Vienna 1918 original publication in German Jean van Heijenoort editor 1967 From Frege to Gödel A Source book in Mathematical Logic 18791931 3rd printing Harvard University Press Cambridge MA ISBN 0674324498 pbk Michel Weber and Will Desmond eds Handbook of Whiteheadian Process Thought Frankfurt Lancaster Ontos Verlag Process Thought X1 X2 2008 Principia Mathematica by A D Irvine The Notation in Principia Mathematica by Bernard Linsky Proposition 5443 in a more modern notation Metamath Category 分析哲學文獻 Category 數理邏輯 Category 數學著作 Category 邏輯 Category 數學文獻 Category1910 年非虛構書籍