consistent axiomatic system