En todo caso, el enunciado de la izquierda y el enunciado de la derecha son equivalentes según la concepción aristotélica que Tarski busca precisar, y por tanto las implicaciones son un requisito de adecuación material de la definición.