The axiomatic method in biology