Una prueba formal para todo conjunto finito requeriría el principio de inducción matemática.