Many domains (mathematics, logic) succeed with formalist foundations despite convention; adequacy ma...
This proposition has not been edited since the history system was added.