Luc, Joanna (2026) Formalised axiomatic theories and Bourbaki's concept of species of set-theoretical structure. [Preprint]