 With the aid of the \(\omega\)-rule, each instance of the induction scheme becomes logically deducible with an infinite proof tree. To describe the cost of cut elimination for \(\PA_{\omega}\), we introduce the measures of height and cut rank of a \(\PA_{\omega}\) deduction \(\cD\). We will notate this by 