 An axiomatic system need not include the notion of "contradiction".Adherents of the epistemological theory of coherentism typically claim that as a necessary condition of the justification of a belief, that belief must form a part of a logically non-contradictory system of beliefs.Some dialetheists, including Graham Priest, have argued that coherence may not require consistency.