“A consistent theory T cannot postulate its own consistency, although the consistency of T can be postulated in another consistent theory. (An exercise for the reader: Is it possible to have a pair of consistent theories S and T such that each postulates the consistency of the other? It follows from what has been said above that the answer is no.)”