Category:Definitions/Named Definitions/Neumann, Carl