一种强调严格性、抽象性和系统性的数学思想流派，起源于20世纪中叶的法国，由一群数学家组成“布尔巴基小组”，主张用公理化方法重新构建数学体系。