Applying finite arithmetic rules to infinite sets commits a category error, similar to asking 'what ...
This proposition has not been edited since the history system was added.