Human cognitive limitations needn't undermine formal systems' validity—mathematics transcends cognit...
This proposition has not been edited since the history system was added.