公理化方法总结

公理化方法,在逻辑,整个科学的程序或系统的定理推导出按照指定的规则由某些基本命题逻辑推理(公理),进而构造从几方面作为原始。这些术语可以任意定义或根据模型构思一些直观的感受到他们的真相令存在。最古老的例子使公理化系统是亚里士多德用演绎推理的和欧几里德几何。在20世纪早期,伯特兰·罗素和怀德海试图形式化的数学公理化的方式。学者们甚至遭受此方法的实证科学,如j . h . Woodger的在生物学的公理化方法克拉克(1937)和船体原则的行为(1943)。