%CE%A9-consistent theory#Definition