be a Borel function such that for any and , if then . Then there is a sequence such that for all sequences of indices , is the first coordinate of . This theorem is provable in , but not in any theory for some fixed . See also Inaccessible cardinal Stationary set Inner model Notes References Large cardinals