Por ejemplo, el grupo Bourbaki adoptó una versión selectiva y diluida como adecuada para los requisitos de sus proyectos gemelos de (a) escribir trabajos fundamentales enciclopédicos, y (b) dar soporte al sistema axiomático como herramienta de investigación.