The inconsistency of the set of all ordinals is thus a feature of a specific logical framework, not ...