Pluralism about set theory doesn't entail pluralism about logical consequence; countability is defin...
This proposition has not been edited since the history system was added.