Boolos's second-order logic distinguishes justification (why induction works) from meaning (what ind...
This proposition has not been edited since the history system was added.