3) ∀a, b ∈ ℕ: a · b = b · a

Это переместительное свойство умножения: от перестановки множителей произведение не изменяется.

Ответ: утверждение истинно.