The statement that a given set of sentences is consistent. In formal studies, there are significant questions of when such an axiom can itself consistently be added to a set of sentences, or proved within a background formal language and deductive system.