On an axiomatisation of differential geometry: Synthetic Differential Geometry (by Sylvain Rossi) WillMay 16, 2019