with Anacona, M. , 2014, 'On Bourbaki's axiomatic system for set theory', Synthese 191 (17), 4069-4098.