There have been many proposal of a mathematical definition of Quantum Field Theory, for instance through Wightman or Osterwalder-Schrader axioms. Were there any efforts toward doing the same for String theory?
This post imported from StackExchange MathOverflow at 2023-11-25 20:57 (UTC), posted by SE-user Giafazio