If a metalanguage genuinely explains how Languages I and II have intended readings, it must employ s...
This proposition has not been edited since the history system was added.