Lecture 5 (Logic) Inference with Quantifiers and an Axiomatic System