Se podría pensar en sistemas inductivos más potentes que la lógica de predicados de primer orden.