補題　有限集合は帰納的集合である
って書いてある資料がある。