Multiple decades of failed attempts using standard formal systems suggest fundamental obstacles rath...
This proposition has not been edited since the history system was added.