Por ejemplo, existe debate sobre si la relación de identidad, la "relación de pertenencia" en la teoría de conjuntos, o el predicado de verdad deben ser considerados constantes lógicas.