Requiring a richer metatheory to expose L's inadequacy suggests L itself is inadequate—the metatheor...
This proposition has not been edited since the history system was added.