| 詞語(yǔ) | 公理化方法 |
| 拼音 | ɡōnɡ lǐ huà fānɡ fǎ |
| 書(shū)寫(xiě) | 公 理 化 方 法 |
| 解釋 |
從少數(shù)不加定義的原始概念和少數(shù)不加證明的基本命題(公理)出發(fā)，按特定演繹推理規(guī)則推導(dǎo)出這一學(xué)科中其他命題(定理)，并構(gòu)成一個(gè)演繹系統(tǒng)的方法。任何特定的公理化系統(tǒng)都不是絕對(duì)嚴(yán)格和完備的。 |
《公理化方法》
更新時(shí)間:2023-06-28 02:33:52