Is_mathematical_induction_not_induction?" - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)