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