Răspuns:
Explicație pas cu pas:
M5 = {0, 5, 10, 15, ..., 5n, ...}.
a = 5 este cel de-al doilea multiplu al lui 5, deci nedepinzand de n ∈ N, atunci propozitia
"a este multiplu de 5, pentru orice număr natural n." are valoarea logica de ADEVAR.
Q.E.D.
