特殊命题;有些实数是无限不循环小数