axiomatic method (Q48784438)
Language: