Conflating them treats formal provability (meta-level) as justifying metaphysical necessity (object-...
This proposition has not been edited since the history system was added.