约翰·洛克于1689年提出的关于神圣道德的论证。