Category:Definitions/Named Definitions/Birkhoff, George