Topic g - Axiomatic systems