This is a set of questions on an axiomatic system that were used for part of a 2019 final exam. The questions cover the topics of an axiomatic system being consistent, independent and complete, as well as duality. There is also discussion of a proof based on the given axioms.
