Lógica matemática y fundamentos (2014-15) Lógica matemática y fundamentos (2014-15)

$1 no puede ser menor que $2 (fijado a $3).