The Axiomatic Method in Phonology