Why in first order logic theories are not possible a demonstration with infinite steps?
No infinite step, only finite steps but infinity pases
I recognize that English is not your native language, but frankly, what you have written is pretty much incomprehensible, especially "infinity pases" and "a number non standard natural numbers finite of steps". These make no sense.infinite steps, sorry. But I refer to a demostration in a number non standard natural numbers finite of steps