On Bourbaki's axiomatic system for set theory. - Maribel Anacona; Luis Carlos Arboleda; Francisco Javier Pérez-Fernández (Synth., 2014)