Mathematical truth need not reduce to logical consequence; we can accept first-order incompleteness ...
This proposition has not been edited since the history system was added.