Proofs are much easier when one just lists their axioms, leaving the rest an exercise to the reader.