跳去內容
主目錄
主目錄
移去側欄
收埋
導覽
頭版
目錄
正嘢
時人時事
是但一版
關於維基百科
聯絡處
捐畀維基百科
交流
說明書
城市論壇
社區大堂
最近修改
語言
其他語言嘅連結喺頁頂標題側邊。
查嘢
搵嘢
開戶口
簽到
個人架生
開戶口
簽到
未簽到編者用嘅版面
知多啲
貢獻
同呢個互聯網地址嘅匿名人傾偈
自然演繹
16種語言
Deutsch
English
Español
فارسی
Suomi
Français
Italiano
日本語
한국어
Nederlands
Norsk bokmål
Polski
Português
Русский
Simple English
中文
改拎
文章
討論
粵語
閱
改
睇返紀錄
架撐
架撐
移去側欄
收埋
動作
閱
改
睇返紀錄
基本
有乜連過嚟
連結頁嘅更改
上載檔案
專門版
固定連結
此版明細
引用呢篇文
攞短網址
維基數據項
打印/匯出
下載PDF
印得嘅版本
出自維基百科,自由嘅百科全書
喺
數理邏輯
入面,
自然演繹
(
粵拼
:
zi
6
jin
4
lo
4
cap
1
)係證明論入面一個會好似「大自然」噉嘅一種邏輯推理形式model嘅一種方式。呢種方式同啲Hilbert形嘅系統係有對比嘅。
呢篇
自然演繹
係仲未搞掂嘅
楔
位文。歡迎幫維基百科
擴寫佢
。
睇
•
論
•
改
•
歷
屬於1類
:
數學邏輯
屬於1隱類:
楔位文章
切換限制內容闊度