Для того, чтобы записать утверждение о том, что произведение двух любых натуральных чисел является натуральным числом, можно воспользоваться кванторами следующим образом:
Для любых натуральных чисел a и b, произведение a и b является натуральным числом.
Формально это записывается в виде:
∀a,b ∈ N, ab ∈ N
Здесь символ ∀ означает "для любого", символ ∈ обозначает принадлежность, N обозначает множество натуральных чисел, а символ ab обозначает произведение чисел a и b.