The very notion of 'recognizing' an ordinal as admissible presupposes conceptual resources not gener...
This proposition has not been edited since the history system was added.