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