Axiomatic Thinking in Neural IR