In 1931, the austrian logician pulled off arguably one of the most stunning intellectual achievements in…