Así, el problema delineado se puede enunciar preguntando como sabemos, para sugerir una inducción, cuales de las categorías que usamos o podríamos usar son generalizables.