Formalization of "The Axiomatic Method in Biology" (1937) by Woodger, Tarski and Floyd