- 61
- 0
Why in first order logic theories are not possible a demonstration with infinite steps?
No infinite step, only finite steps but infinity pasesOk. But the problem I see is that demostration could have non standard steps, because for first order logic is impossible let she the non standard models out of a theory in first order language
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
I still don't get what you're asking. What do you mean by "non standard natural numbers steps"?Other way: why not a formal demostration in a non standard natural numbers steps?