The analytic/necessary distinction has substantive philosophical weight independent of any formal se...
This proposition has not been edited since the history system was added.