mathematics. This is a fascinating book for all those who teach or study axiomatic