axiomatic-like systems