填空题 德国著名数学家（）所提出的组织公理系统的原则是（）原则、独立性原则和完备性原则。

填空题 阿拉伯数学的突出成就首先表现在（）方面，《还原与对消计算概要》的作者是中世纪对欧洲数学影响最大的阿拉伯数学家（）。

填空题 把逻辑学提高到纯粹的哲学的高度，并出版一部哲学巨作《逻辑哲学论》是（）。