To every ω-consistent recursive class κ of <i>formulae</i> there correspond recursive <i>class signs r</i>, such that neither <i>v</i> Gen <i>r</i> n… - Kurt Gödel

" "

To every ω-consistent recursive class κ of formulae there correspond recursive class signs r, such that neither v Gen r nor Neg (v Gen r) belongs to Flg (κ) (where v is the free variable of r).