对楼主主贴的逻辑理解错误：楼主的本意就在证无。何况单纯证明“无”也是可以作为命题的。