completeness under incompleteness