Gottfried Wilhelm Leibniz’s (1646-1716) principle that it is impossible for two numerically distinct things to be absolutely identical in all respects.