公理系が無限集合となることを許してこの無限選言を回避することは不可能である(コンパクト性定理から、ねじれ群を特徴付けることのできる一階論理式の集合は存在しないことが導かれる)。