No mathematical axiom I am aware of states explicitly everything it does not address, nor have I ever seen any requirement of a mathematical proof that it demonstate proof, but also specify everything it does not prove.
The example I gave should have been stated in the positive, i.e. this theory takes life as an axiom.