Axioms and Theorems in Biology