Q&A: Gödel and the Emptiness of the Analytic
Originally published:
This is an English translation (via GPT-5.4). Read the original Hebrew version.
Gödel and the Emptiness of the Analytic
Question
Good afternoon!
Gödel showed that it is impossible to build a mathematical-logical system that does not assume prior axioms. From this, the concept of the emptiness of the analytic became clarified—that is, that every logical inference, even the most complex, cannot assume and prove its own axioms.
My question is: isn’t this obvious? Why did one have to wait for Gödel to show that axioms are not logical?
Answer
That is really not what Gödel showed. You can look on Wikipedia about Gödel’s theorems.