Mathematical learning theory: a formalized, axiomatic, abstract approach