I like my presentation of them better--less wordy--but it is a matter of personal preference.

What is interesting is that these axioms can actually be formally constructed from other relatively simple structures without the use of any sort axiom of infinity (as in ZF), as demonstrated in my proof.