Este esquema de axioma, válido para cualquier predicado P en una variable, responde solamente por una dirección de la ley de Leibniz; si "x" y "y" son iguales, entonces tienen las mismas propiedades.