数学の証明という理論がわからないです

[0006 １３２人目の素数さん 2021/02/15(月) 11:48:33.61 ID:iT3CrOuB]

(3) ∀a∈k, ∃-a∈k; a + (-a) = (-a) + a = 0