Recursive learning theory in mathematics