You should talk more about "Kurt #Gödel who made an immense impact upon scientific and philosophical #thinking in the 20th century, a time when others such as Bertrand #Russell, A. N. #Whitehead, and David #Hilbert were pioneering the use of #logic and set theory to understand the foundations of #mathematics." https://en.wikipedia.org/wiki/Kurt_Gödel