「Gを群とする〜」みたいな証明には完全性定理が使われている、ということでいいの？