19世纪中叶,德国数学家格拉斯曼成功建立了一个算术基本公理体系。