Consistency proofs and ordinals