All the Axioms of Mathematics

This video lists an explains propositional, predicate calculus axioms, as well as a set theoretical statement that goes with it, including ZF and beyond. Where possible, the explanations are kept constructive. You can find the list of axioms in the file discussed in this video here: https://gist.github.com/Nikolaj-K/f3d... (Since I put the axioms in a html box, you can find them by searching for the closing syntax for the p-element's)