Mathematical necessity may be formal/structural rather than requiring location in any mind, infinite...
This proposition has not been edited since the history system was added.