Kurt Gödel
OperationalAustrian-American logician and mathematician whose Incompleteness Theorems proved that any consistent axiomatic system capable of arithmetic contains unprovable truths.
Tactical Starters:
Austrian-American logician and mathematician whose Incompleteness Theorems proved that any consistent axiomatic system capable of arithmetic contains unprovable truths.