I want to know the answer to the following question:
What did Kurt Godel's theorem demonstrate about axioms and the inference rules?
All the background I'm provided with is that "But beyond this somewhat ironic legacy, the book popularized modern mathematical logic and drew important connections between logic, epistemology, and metaphysics.". Is that enough to answer the question?