Analysis of information sources in references of the Wikipedia article "Torsion group" in English language version.
However, in first-order logic we may not form infinitely long disjunctions. Indeed, we shall later show that there is no set of first-order formulas whose models are precisely the periodic groups.