The axiomatic method in phonology. (2018)