Axioms and Systems table

To better understand the various systems of set theory (ZF,ZFC,etc) and the axioms they each use, I began to draw up a large mapping of axioms to all major systems of logic.

Here is the (as-of-yet quite incomplete) table in question: