Son paradojas que alcanzan un resultado que se autocontradice, aplicando correctamente modos aceptados de razonamiento.