Though Godel was interested in time travel loops, that’s not the type of consistency that his Second Incompleteness Theorem discussed (it’s limited to formal axiomatized systems that can describe arithmetic).
I suspect Vladmir is considering the system in question here in a way that meets that description.
Though Godel was interested in time travel loops, that’s not the type of consistency that his Second Incompleteness Theorem discussed (it’s limited to formal axiomatized systems that can describe arithmetic).
I suspect Vladmir is considering the system in question here in a way that meets that description.