求证根号2是无理数 是命题么