https://en.wikipedia.org/wiki/Kurt_G%C3%B6del