Analysis of information sources in references of the Wikipedia article "Nhóm xoắn" in Vietnamese 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.
