从恩格斯关于数学公理之定义谈起

F.恩格斯(1820-1895)于1873至1883年间写成一本世界名著《自然辩证法》,在该书中对于数学公理给出一个简洁的定义。在现代数学公理化方法研究的历史长河中,D.格高尼和M.巴许是先驱者,而G.皮亚诺和D.希尔伯特则是独立地发现者。1899年,希尔伯特的名著《几何基础》出版;1901年,著名数学家B.罗素又提出创建纯粹数学理论的新思维。从此而后,纯粹数学蓬勃发展,蒸蒸日上。