3 ms·He mentioned it in the title of the incompleteness paper.by Rerarom 5y agoHe mentioned it in the title of the incompleteness paper.