Scott's theorem uses strong assumptions (measurable cardinals) absent from L; the gap reflects mathe...
This proposition has not been edited since the history system was added.