Comment Comment by gepoch No system is powerful enough to prove all of the facts about natural numbers, right? parent gepoch 6 years ago