Pure mathematics appears irreducibly about abstract structures; reformulations may preserve syntax w...
This proposition has not been edited since the history system was added.