Provability is not a direct physical property but a formal relation, so its definition depends on re...
This proposition has not been edited since the history system was added.