推薦此記錄: Generalización de la inducción matemática a estructuras inductivas