Describe informally a real life situation involving sports, political structure or class (anything having procedures or rules)

Describe some aspect of the situation formally by means of an axiom system consisting of at least three basic terms and at least three axioms.

Rework your axiom system to ensure that

I. the system is consistent

Ii. one of the axioms is independent

Prove these two assertions