Finding the limit of incompleteness II