Informal provability captures mathematical intuition about what 'ought' to follow from axioms, indep...
This proposition has not been edited since the history system was added.