A system of axioms for mathematical biology