Technical provability criteria are designed to capture exactly what makes statements rigorously deri...
This proposition has not been edited since the history system was added.