Pragmatic success of a logical system presupposes underlying logical principles governing what 'succ...
This proposition has not been edited since the history system was added.