皮諾公設系統

邏輯推論 簡介 布林邏輯 皮諾公設系統 一階邏輯 完備定理 不完備定理 程式實作 布林推論 一階推論 相關訊息 相關網站 相關書籍 參考文獻 最新修改 訊息 相關網站 參考文獻 最新修改 簡體版 English

文章 Axiom of Natural Number System (Peano) PE1 : 0 exist PE2 : x' = x+1 PE3 : x' > x PE4 : If x' = y' then x = y PE5 : Principle of mathmatical Induction : If P(0) and P(x) -> P(x') then For all x, P(x) Facebook 留言 Facebook Wikidot Post preview: Close preview or Sign in as Wikidot user (will not be published) - + Help: wiki text quick reference 授權 本網頁的作者、授權與引用方式 作者 陳鍾誠，於金門大學資訊工程系，電子郵件：wt.ude.uqn|ccc#wt.ude.uqn|ccc，網站：http://ccckmit.wikidot.com。 授權 本文採用創作共用 (Creative Common) 3.0 版的 姓名標示─非商業性─相同方式分享 授權條款，歡迎轉載或修改使用，但若做為商業使用時必須取得授權，引用本文時請參考下列格式。 中文版 (APA格式) 陳鍾誠 (18 Sep 2010 08:27)，(網頁標題) 皮諾公設系統，(網站標題) 陳鍾誠的網站，取自 http://ccckmit.wikidot.com/lr:peanosystem ，網頁修改第 0 版。 英文版 (APA格式) Chung-Chen Chen (18 Sep 2010 08:27), Retrieved from http://ccckmit.wikidot.com/lr:peanosystem , Page Revision 0.