Gödel's incompleteness concerns formal arithmetic, not empirical induction, which operates in differ...
This proposition has not been edited since the history system was added.