Un esquema válido en la teoría de Lógica de primer orden que exhibe la misma característica es