Gödel proved PA cannot prove all true statements about natural numbers, demonstrating genuine limits...
This proposition has not been edited since the history system was added.