Answer for the original question.
Let $a_n \in [-\infty,\infty]$, for $n=1,2,3,\dots$. Write $\mathbb N = \{1,2,3,\dots\}$. Let $\mathfrak S$ be the set of all bijections $\sigma : \mathbb N \to \mathbb N$.
Let $\mathfrak S_0$ be the set of all $\sigma \in \mathfrak S$ such that
$\lim_{n \in \mathbb N}\sum_{j=1}^n a_{\sigma(j)}$ exists in $[-\infty,\infty]$. For $\sigma \in \mathfrak S_0$, write
$$
A(\sigma) = \lim_{n \in \mathbb N}\sum_{j=1}^n a_{\sigma(j)} .
$$
Write $A_+ = \sum_{j : a_j>0} a_j$ and $A_- = \sum_{j : a_j<0} a_j$.
Assume
$$
\text{there exists $\sigma_1, \sigma_2 \in \mathfrak S_0$ with $A(\sigma_1) \ne A(\sigma_2)$}.
\tag1$$
We claim $A_+ = +\infty$
and $A_- = -\infty$.
First, we eliminate some trivial cases.
$\bullet$ If there exist $j_1, j_2 \in \mathbb N$ with $a_{j_1} = +\infty$ and $a_{j_2} = -\infty$, then $\mathfrak S_0 = \varnothing$. This contradicts $(1)$.
$\bullet$ If there exists $j_1 \in \mathbb N$ with $a_{j_1} = +\infty$, but there is no $j_2$ with $a_{j_2}=-\infty$, then $A(\sigma) = +\infty$ for all $\sigma$. This contradicts $(1)$.
$\bullet$ If there exists $j_2 \in \mathbb N$ with $a_{j_2} = -\infty$, but there is no $j_1$ with $a_{j_1}=+\infty$, then $A(\sigma) = -\infty$ for all $\sigma$. This contradicts $(1)$.
So, we assume from now on that $a_j \in \mathbb R$ for all $j$.
$\bullet$ If $A_+ = +\infty$ and $A_- \ne -\infty$, then $A(\sigma)=+\infty$ for all $\sigma$. This contradicts $(1)$.
$\bullet$ If $A_+ \ne +\infty$ and $A_- = -\infty$, then $A(\sigma)=-\infty$ for all $\sigma$. This contradicts $(1)$.
$\bullet$ If $A_+ \ne +\infty$ and $A_- \ne -\infty$, then the series converges absolutely. THEOREM For an absolutely convergetn series $\sum a_j$, we have $A(\sigma_1) = A(\sigma_2)$ for all $\sigma_1,\sigma_2 \in \mathfrak S$. This contradicts $(1)$.
The only case remaining is: $A_+=+\infty$ and $A_-=-\infty$.
So we see that the only nontrivial case is the THEOREM, which is in every calculus text. We can consider this result an easy restatement of the THEOREM.
For the the revised version of the question, it seems to me there is nothing to do. $$\bigcup_{j=1}^\infty A_j = \bigcup_{j=1}^\infty A_{\sigma(j)}$$ for any permutation, so if the sets are pairwise disjiont, then by (iii) twice we have
$$
\sum_{j=1}^\infty \nu(A_j)
=\nu\left(\bigcup_{j=1}^\infty A_j\right) =
\nu\left(\bigcup_{j=1}^\infty A_{\sigma(j)}\right)
=\sum_{j=1}^\infty \nu(A_\sigma(j))
$$
even if the series do not converge absolutely.