are these really axioms though? from what i remember from ext 1 is that enumerative combinatorics its built upon the addition principle, multiplication principle and the inclusion-exclusion principle, which can be all be proven.
https://math.stackexchange.com/questions/225265/prove-sum-product-rule