exo7 112

tout triangle rectangle possède un angle droit ;

dans toutes les écuries, tous les chevaux sont noirs ;

pour tout entier $x$, il existe un entier $y$ tel que, pour tout entier $z$, la relation $z<x$ implique la relation $z<x+1$ ;

$\forall \epsilon >0 \quad \exists \alpha >0 \qquad (|x-7/5|<\alpha \Rightarrow |5x-7|<\epsilon)$.