sur 9
Constructive Axiomatics for Spacetime Physics — James Read, Niels Linnemann, Emily Adlam