completeness under incompleteness 意味