L is definable within ZFC but not absolutely definable; its thinness depends on comparing it against...
This proposition has not been edited since the history system was added.