形式系統From Wikipedia, the free encyclopedia 形式系統(formal system)係數學同邏輯學等領域上嘅一個概念。一個形式系統會有若干條公理(axiom;指可以當係不證自明嘅命題),然後按某啲法則,推導一啲定理(theorem)出嚟。 呢篇同數學相關係楔位文。歡迎幫維基百科擴寫佢。睇 • 論 • 改 • 歷
形式系統(formal system)係數學同邏輯學等領域上嘅一個概念。一個形式系統會有若干條公理(axiom;指可以當係不證自明嘅命題),然後按某啲法則,推導一啲定理(theorem)出嚟。 呢篇同數學相關係楔位文。歡迎幫維基百科擴寫佢。睇 • 論 • 改 • 歷