Mathematical truth correlates perfectly with formal derivability in systems we construct; positing m...
This proposition has not been edited since the history system was added.