Question: What is the original nationality of the namesake of Gödel logic?
Sentence (from "Gödel's incompleteness theorems"): The theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible.
Relevant evidence: No