填空题
19世纪在公理法方面取得了突破性进展，在这个基础上，抽象的公理法进一步向（）发展。
形式化方向
填空题 反例反驳的理论依据是形式逻辑的（）。
填空题 匀速直线运动的数学模型是（）。
填空题 一个概括过程包括（）等几个主要环节。
