捕捉）
一般の標数ｐの体は決定不能であるにもかかわらず、
数学的にはF_pは標数ｐの有限体だけど決定可能になる
同様、自然数論は決定不能だけど、冪のない実数論は決定可能になる
それからR^2に、ある2点の間にある点の3項演算子を付け加えたものが
Rから掛け算をとったものに同等になりどちらも決定可能になる。
通常の数学で、群より一般的な数学的対象だからといって
その理論まで決定不能性を引き継いでいるとは限らない