In the following I am using the arXiv version of the paper.
The word theorem is not used once in the paper. The word axiom never refers to indeterminism (a word used only once at the end of the paper). Therefore we can not state that the authors mentions "that non-locality is a theorem and indeterminism is an axiom". This appears only in the abstract of the 1994 version linked in the question (I have no access to the paper itself, please correct me if it is significatively different), where it may be a rhetorical abuse of langage.
Non-locality in quantum mechanics manifests itself via non-local correlations: because EPR correlations cannot be explained by hidden variables, which has been experimentally proven by Alain Aspect and many other teams in the form of observed violations of Bell's inequalities (CHSH in the paper), we can consider them as non-local. The relevant theorem here is Bell's theorem, which states that "no physical theory of local hidden variables can ever reproduce all of the predictions of quantum mechanics."
Indeterminism in quantum mechanics appears in certain expositions where it is considered that two laws are competing for the evolution in time of a quantum system: a deterministic one when a system is not measured (the unitary Schrödinger equation), and a non-deterministic one (collapse/reduction) upon measurement. Since measurement outcomes are only predicted via probabilities (Born rule) one can say that quantum mechanics is not deterministic. Note that many people still claim that QM is deterministic and consider that the measurement problem is to be solved by decoherence approaches where everything happens within the unitary evolution; the jury is still out.
Now for the articulation of non-locality and determinism: it is because measurement outcomes are probabilistic that we would need hidden variables to explain EPR correlations. Since they are experimentally ruled out, we are left with distant correlations that without hidden variables are by definition non-local: what we call hidden variables here is whatever would locally move along the entangled parts of a quantum system.
In that sense indeterminism would be an experimental fact (not an axiom), and non-locality a logical consequence in the context of realist interpretations of quantum mechanics.