Formal contradiction requires proving infinite regress entails P and not-P; mere explanatory gaps do...
This proposition has not been edited since the history system was added.