Abstract mathematical structures are formally provable without reference to bodies, suggesting embod...
This proposition has not been edited since the history system was added.