Никола Бурбаки — собирательный псевдоним, под которым группа математиков во Франции публикует обзор различных математических теорий с позиций формального аксиоматического метода, в котором доказательство является стройной последовательностью формул, каждая из которых либо аксиома, либо же получается из предыдущих формул.