公理化方法

gōng lǐ huà fāng fǎcông lí hóa phương pháp

Hán Việt: công lí hóa phương pháp · Pinyin: gōng lǐ huà fāng fǎ

Tổng quan

新华 · Tân Hoa Đại lục

从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。

Cấu tạo: 公 (công) + 理 (lí) + 化 (hóa) + 方 (phương) + 法 (pháp)

Pinyin: gōng lǐ huà fāng fǎ
Hán Việt: công lí hóa phương pháp
Cấu tạo: 公 + 理 + 化 + 方 + 法 · công + lí + hóa + phương + pháp nghĩa thành phần: công + lí + hóa + phương + pháp

Tân Hoa Tự Điển 从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。