No More Learning

Link: this formalization2 is           in the formal character of the usual definitions.