, 2019, 'Axioms as definitions: revisiting Poincaré and Hilbert', Philosophia Scientiae 23 (1), 167-183.