Human mathematical insight (e.g., Gödel's incompleteness) appears to transcend formal systems, sugge...
This proposition has not been edited since the history system was added.