假设苏格拉底不是苏格拉底,海不枯石不烂,则由于海不枯石不烂,可得事物可永恒存在,由于事物可永恒存在,则得出苏格拉底就会一直存在不可能不是苏格拉底,这样与假设矛盾,所以原命题正确.