Question

Express each of these statement using quantifires :
No one has climbed every mountain in the Himalayas

Answer 1

Let $H(x,y)$ represent that $x$ has climbed the mountain $y$ in Himalayas. So we have;

$\forall x \exists y \neg H(x,y)$