こうりしゅぎ【公理主義】 数学を，公理系から厳密に演繹された体系として構成しようとする立場。ヒルベルトなどの形式主義的方法に代表される。