Definitions and mathematical knowledge - Sereni, Andrea 1977- (Cambridge University Press, 2024)