Lecture 6 (Logic) Axiomatic System Example