Title: Induction of concepts in the predicate calculus