Actually we could prove inductively that it holds, but how do we know it stops?

这是一种归纳型的定义,事实上我们能够归纳性地证明它？

麻省理工公开课 - 计算机科学及编程导论课程节选

Type II Diabetes used to be called Adult Onset Diabetes, but it's had to be renamed to type II Diabetes because kids as young as ten, and nine, and eight are developing it.

型糖尿病过去曾叫做成年始发性糖尿病,但它不得不更名为Ⅱ型糖尿病,因为有的才十岁,九岁,甚至八岁的儿童得这种病

耶鲁公开课 - 关于食物的心理学、生物学和政治学课程节选