qnli question: What did Kurt Godel's theorem demonstrate about axioms and the inference rules? sentence: But beyond this somewhat ironic legacy, the book popularized modern mathematical logic and drew important connections between logic, epistemology, and metaphysics.