填空题 现代公理化方法的奠基人是（），他在1899年发表的（）中提出了第一个完备的公理系统。

填空题 柯西把行列式作为一类函数来研究，他称这类函数为（）

填空题 伽罗瓦称一个代数方程根的置换的全体构成的集合为（），称其中所有使方程的根的以基本域的元素为系数的所有代数关系保持（）的置换的全体构成的（子）集为方程的群。