“假设存在一些自然数不能被20个以内汉字表达,那么这些数中就必然有一个最小的不能被20个以内汉字表达”这句话其实是两个假设,
假设① “存在一些自然数不能被20个以内汉字表达”,
假设② “这些数中有一个最小的不能被20个以内汉字表达”
毕导的反证只是证明了在假设①成立的前提下假设②不成立