⒈ 從少數(shù)不加定義的原始概念和少數(shù)不加證明的基本命題(公理)出發(fā)，按特定演繹推理規(guī)則推導(dǎo)出這一學(xué)科中其他命題(定理)，并構(gòu)成一個(gè)演繹系統(tǒng)的方法。任何特定的公理化系統(tǒng)都不是絕對(duì)嚴(yán)格和完備的。
本站部份資料來自網(wǎng)絡(luò)或由網(wǎng)友提供，如有問題請(qǐng)速與我們聯(lián)系，我們將立即處理！
Copyright © 2020-2024 中華漢語詞典m.allstreams.cn All Rights Reserved 浙ICP備2024058711號(hào)
免責(zé)聲明：本站非營利性站點(diǎn)，以方便網(wǎng)友為主，僅供學(xué)習(xí)。合作/投訴聯(lián)系QQ:1553292129