Question:
Logician known for "incompleteness theorems"
Answer:
Length:

5