跳去內容
主目錄
主目錄
移去側欄
收埋
導覽
頭版
目錄
正嘢
時人時事
是但一版
關於維基百科
聯絡處
捐畀維基百科
交流
說明書
城市論壇
社區大堂
最近修改
語言
其他語言嘅連結喺頁頂標題側邊。
查嘢
搵嘢
開戶口
簽到
個人架生
開戶口
簽到
未簽到編者用嘅版面
知多啲
貢獻
同呢個互聯網地址嘅匿名人傾偈
形式系統
33種語言
Alemannisch
العربية
Azərbaycanca
Català
Чӑвашла
Dansk
Deutsch
Ελληνικά
English
Español
فارسی
Français
Gàidhlig
Magyar
Հայերեն
Ido
Italiano
日本語
Қазақша
한국어
Кыргызча
Lietuvių
Македонски
Bahasa Melayu
Nederlands
Polski
Português
Русский
Shqip
Српски / srpski
Svenska
Українська
中文
改拎
文章
討論
粵語
閱
改
睇返紀錄
架撐
架撐
移去側欄
收埋
動作
閱
改
睇返紀錄
基本
有乜連過嚟
連結頁嘅更改
上載檔案
專門版
固定連結
此版明細
引用呢篇文
攞短網址
維基數據項
打印/匯出
下載PDF
印得嘅版本
第啲維基項目
維基同享
出自維基百科,自由嘅百科全書
形式系統
(
formal system
)係
數學
同
邏輯學
等領域上嘅一個概念。一個形式系統會有若干條
公理
(axiom;指可以當係
不證自明
嘅
命題
),然後按某啲法則,推導一啲
定理
(theorem)出嚟。
呢篇同
數學
相關係
楔
位文。歡迎幫維基百科
擴寫佢
。
睇
•
論
•
改
•
歷
屬於3類
:
邏輯
數學
數學楔類
切換限制內容闊度