⒈ 從少數(shù)不加定義的原始概念和少數(shù)不加證明的基本命題(公理)出發(fā),按特定演繹推理規(guī)則推導(dǎo)出這一學科中其他命題(定理),并構(gòu)成一個演繹系統(tǒng)的方法。任何特定的公理化系統(tǒng)都不是絕對嚴格和完備的。
?含義網(wǎng) 字義深度解析,筆順精準查詢,規(guī)范書寫盡在指尖!
www.anvalley.cn Copyright ? 2018-2023蜀ICP備2024047760號-2 E-mail:ROYSHEN#126.COM(#替換為@) 反饋
本站內(nèi)容來源于網(wǎng)友提交及搜索引擎,如果我們的某些資料侵犯了您的合法權(quán)益或?qū)δ斐闪巳魏纬潭鹊膫Γ埣皶r聯(lián)系我們,我們將在收到通知后第一時間處理該內(nèi)容。