Sin embargo, una teoría de primer orden que admite conjuntos como obetos básicos, es decir, ZFC, puede expresar la inducción sin mayores inconvenientes.