Ответ:

\(\forall a,b \in \mathbb{N}\quad ab \in \mathbb{N}\).

Ответ: \(\forall a,b \in \mathbb{N}: ab \in \mathbb{N}\).