公理化方法

是總結(jié)已有科學(xué)知識(shí)、構(gòu)成科學(xué)理論體系的有效方法。它是先列出一些初始概念、一些初始符號、一組公理(亦稱設(shè)理),幾條形式規(guī)則和基本推理規(guī)則并以公理和初始概念為出發(fā)點(diǎn),對所研究范圍內(nèi)的一切概念給以定義,并推導(dǎo)出一系列 ......    （本文共 423 字 ）     [閱讀本文] >>