| 词语 | 公理化方法 |
| 拼音 | ɡōnɡ lǐ huà fānɡ fǎ |
| 书写 | 公 理 化 方 法 |
| 解释 |
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。 |
《公理化方法》
更新时间:2023-06-28 02:33:52
公理化方法造句
与“公理化方法”相关的信息
精品推荐
- 安定区05月30日天气:多云转中雨，风向：东北风，风力：3-4级转<3级，气温：21/11℃
- 巴里坤县05月30日天气:晴转阴，风向：无持续风向，风力：<3级，气温：14/7℃
- 台北市05月30日天气:小雨，风向：东北风，风力：3-4级转<3级，气温：27/24℃
- 五指山市05月30日天气:多云，风向：无持续风向，风力：<3级，气温：35/23℃
- 香港05月30日天气:晴转多云，风向：无持续风向，风力：<3级，气温：32/28℃
- 新绛县05月30日天气:晴转多云，风向：西南风，风力：<3级，气温：22/18℃
- 天门市05月30日天气:多云，风向：无持续风向，风力：<3级，气温：27/21℃
- 民丰县05月30日天气:阴，风向：东北风，风力：3-4级转<3级，气温：26/14℃
- 绩溪县05月30日天气:小雨转雷阵雨，风向：北风，风力：3-4级转<3级，气温：31/22℃
- 阜宁县05月30日天气:阴，风向：东北风，风力：<3级，气温：22/18℃