Original: Concept learning is the induction of a concept ( category ) from observations
Simplified: Transfinite induction , a kind of mathematical induction