Undecidable hypotheses in Edward Nelson's internal set theory