"Satz VI: Zu jeder ω-widerspruchsfreien rekursiven Klasse κ von FORMELN gibt es rekursive KLASSENZEICHEN r, so daß weder v Gen r noch Neg (v Gen r) zu Flg (κ) gehört (wobei v die FREIE VARIABLE aus r ist)."