hat
N {\displaystyle \mathbb {N} } pa vid. ∃ x ( x ∈ R ∧ x ≥ 1 ) {\displaystyle \exists x\,\left(x\in \mathbb {R} \land x\geq 1\right)} Gen yon x reyèl ki x se pi gran pase oswa egal a youn .
fra
N {\displaystyle \mathbb {N} } est non vide. ∃ x ( x ∈ R ∧ x ≥ 1 ) {\displaystyle \exists x\,\left(x\in \mathbb {R} \land x\geq 1\right)} Il existe un réel x tel que x soit supérieur ou égal à un.