Without verified ω-consistency, the inference from each numeral-instance unprovability to universal ...