标签管理系统:数学归纳法